Semantics and Algebraic Specification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

18

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642041631, 9783642041648

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model-Based Testing and the UML Testing Profile

Semantics and Algebraic Specification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04164-8_16 ◽

2009 ◽

pp. 315-328 ◽

Author(s):

Padmanabhan Krishnan ◽

Percy Pari-Salas

Keyword(s):

Model Based ◽

Model Based Testing

Download Full-text

Action Semantics in Retrospect

Semantics and Algebraic Specification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04164-8_2 ◽

2009 ◽

pp. 4-20

Author(s):

David A. Watt

Keyword(s):

Action Semantics

Download Full-text

Structural Operational Semantics for Weighted Transition Systems

Semantics and Algebraic Specification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04164-8_7 ◽

2009 ◽

pp. 121-139 ◽

Author(s):

Bartek Klin

Keyword(s):

Operational Semantics ◽

Transition Systems ◽

Structural Operational Semantics

Download Full-text

Vertical Object Layout and Compression for Fixed Heaps

Semantics and Algebraic Specification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04164-8_18 ◽

2009 ◽

pp. 376-408

Author(s):

Ben L. Titzer ◽

Jens Palsberg

Download Full-text

Component-Based Security Policy Design with Colored Petri Nets

Semantics and Algebraic Specification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04164-8_3 ◽

2009 ◽

pp. 21-42 ◽

Author(s):

Hejiao Huang ◽

Hélène Kirchner

Keyword(s):

Security Policy ◽

Policy Design ◽

Colored Petri Nets

Download Full-text

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines

Semantics and Algebraic Specification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04164-8_10 ◽

2009 ◽

pp. 186-206 ◽

Author(s):

Małgorzata Biernacka ◽

Olivier Danvy

Keyword(s):

Programming Language ◽

Abstract Machines

Download Full-text

Tribute to Peter Mosses

Semantics and Algebraic Specification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04164-8_1 ◽

2009 ◽

pp. 1-3

Author(s):

Jens Palsberg

Download Full-text

A Constructive Semantics for Basic Aspect Constructs

Semantics and Algebraic Specification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04164-8_6 ◽

2009 ◽

pp. 106-120

Author(s):

Christiano Braga

Keyword(s):

Download Full-text

Order-Sorted Parameterization and Induction

Semantics and Algebraic Specification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04164-8_4 ◽

2009 ◽

pp. 43-80 ◽

Author(s):

José Meseguer

Download Full-text

Type Checking Evolving Languages with MSOS

Semantics and Algebraic Specification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04164-8_11 ◽

2009 ◽

pp. 207-226

Author(s):

M. G. J. van den Brand ◽

A. P. van der Meer ◽

A. Serebrenik

Keyword(s):

Download Full-text