Jens Palsberg (Ed.):
Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday.
Lecture Notes in Computer Science 5700 Springer 2009, ISBN 978-3-642-04163-1
- Jens Palsberg:
Tribute to Peter Mosses.
1-3
- David A. Watt:
Action Semantics in Retrospect.
4-20
- Hejiao Huang, Hélène Kirchner:
Component-Based Security Policy Design with Colored Petri Nets.
21-42
- José Meseguer:
Order-Sorted Parameterization and Induction.
43-80
- André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante:
An Implementation of Object-Oriented Action Semantics in Maude.
81-105
- Christiano Braga:
A Constructive Semantics for Basic Aspect Constructs.
106-120
- Bartek Klin:
Structural Operational Semantics for Weighted Transition Systems.
121-139
- Fernando Orejas, Martin Wirsing:
On the Specification and Verification of Model Transformations.
140-161
- Olivier Danvy:
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines.
162-185
- Malgorzata Biernacka, Olivier Danvy:
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines.
186-206
- M. G. J. van den Brand, A. P. van der Meer, Alexander Serebrenik:
Type Checking Evolving Languages with MSOS.
207-226
- Luiz Carlos Castro Guedes, Edward Hermann Haeusler:
Action Algebras and Model Algebras in Denotational Semantics.
227-249
- Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi:
Mobile Processes and Termination.
250-273
- Kyung-Goo Doh, David A. Schmidt:
An Action Semantics Based on Two Combinators.
274-296
- Hanne Gottliebsen, Kristoffer H. Rose:
Converting between Combinatory Reduction Systems and Big Step Semantics.
297-314
- Padmanabhan Krishnan, Percy Antonio Pari Salas:
Model-Based Testing and the UML Testing Profile.
315-328
- Kristian Støvring, Søren B. Lassen:
A Complete, Co-inductive Syntactic Theory of Sequential Control and State.
329-375
- Ben Titzer, Jens Palsberg:
Vertical Object Layout and Compression for Fixed Heaps.
376-408
Copyright © Mon Nov 2 20:22:12 2009
by Michael Ley (ley@uni-trier.de)