Skip to main content
SpringerLink
Log in
Book cover

Semantics and Algebraic Specification

Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

  • Book
  • © 2009

Overview

Editors:
  1. Jens Palsberg

    1. Department of Computer Science, University of California, Los Angeles, Los Angeles, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5700)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 chapters)

  1. Front Matter

    Download chapter PDF

  2. Tribute to Peter Mosses

    • Jens Palsberg
    Pages 1-3

  3. Action Semantics in Retrospect

    • David A. Watt
    Pages 4-20

  4. Component-Based Security Policy Design with Colored Petri Nets

    • Hejiao Huang, Hélène Kirchner
    Pages 21-42

  5. Order-Sorted Parameterization and Induction

    • José Meseguer
    Pages 43-80

  6. An Implementation of Object-Oriented Action Semantics in Maude

    • André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante
    Pages 81-105

  7. A Constructive Semantics for Basic Aspect Constructs

    • Christiano Braga
    Pages 106-120

  8. Structural Operational Semantics for Weighted Transition Systems

    • Bartek Klin
    Pages 121-139

  9. On the Specification and Verification of Model Transformations

    • Fernando Orejas, Martin Wirsing
    Pages 140-161

  10. Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines

    • Olivier Danvy
    Pages 162-185

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

    • MaÅ‚gorzata Biernacka, Olivier Danvy
    Pages 186-206

  12. Type Checking Evolving Languages with MSOS

    • M. G. J. van den Brand, A. P. van der Meer, A. Serebrenik
    Pages 207-226

  13. Action Algebras and Model Algebras in Denotational Semantics

    • Luiz Carlos Castro Guedes, Edward Hermann Haeusler
    Pages 227-249

  14. Mobile Processes and Termination

    • Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
    Pages 250-273

  15. An Action Semantics Based on Two Combinators

    • Kyung-Goo Doh, David A. Schmidt
    Pages 274-296

  16. Converting between Combinatory Reduction Systems and Big Step Semantics

    • Hanne Gottliebsen, Kristoffer H. Rose
    Pages 297-314

  17. Model-Based Testing and the UML Testing Profile

    • Padmanabhan Krishnan, Percy Pari-Salas
    Pages 315-328

  18. A Complete, Co-inductive Syntactic Theory of Sequential Control and State

    • Kristian Støvring, Soren B. Lassen
    Pages 329-375

  19. Vertical Object Layout and Compression for Fixed Heaps

    • Ben L. Titzer, Jens Palsberg
    Pages 376-408

  20. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

This Festschrift volume, published to honor Peter D. Mosses on the occasion of his 60th birthday, includes 17 invited chapters by many of Peter's coauthors, collaborators, close colleagues, and former students. Peter D. Mosses is known for his many contributions in the area of formal program semantics. In particular he developed action semantics, a combination of denotational, operational and algebraic semantics. The presentations - given on a symposium in his honor in Udine, Italy, on September 10, 2009 - were on subjects related to Peter's many technical contributions and they were a tribute to his lasting impact on the field. Topics addressed by the papers are action semantics, security policy design, colored petri nets, order-sorted parameterization and induction, object-oriented action semantics, structural operational semantics, model transformations, the scheme programming language, type checking, action algebras, and denotational semantics.

Editors and Affiliations

  • Department of Computer Science, University of California, Los Angeles, Los Angeles, USA

    Jens Palsberg

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation