Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday 2009
    URL: https://doi.org/10.1007/978-3-642-04164-8
    DBLP: db/conf/birthday/mosses2009.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 18  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Kyung-Goo Doh, David A. Schmidt.
    An Action Semantics Based on Two Combinators.
    Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday 2009 (0) 2009
    Conference paper
    Ben L. Titzer, Jens Palsberg.
    Vertical Object Layout and Compression for Fixed Heaps.
    Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday 2009 (0) 2009
    Conference paper
    Padmanabhan Krishnan, Percy Antonio Pari Salas.
    Model-Based Testing and the UML Testing Profile.
    Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday 2009 (0) 2009
    Conference paper
    Jens Palsberg.
    Tribute to Peter Mosses.
    Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday 2009 (0) 2009
    Conference paper
    Kristian Støvring, Søren B. Lassen.
    A Complete, Co-inductive Syntactic Theory of Sequential Control and State.
    Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday 2009 (0) 2009
    Conference paper
    Mark van den Brand, A. P. van der Meer, Alexander Serebrenik.
    Type Checking Evolving Languages with MSOS.
    Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday 2009 (0) 2009
    Conference paper
    Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi.
    Mobile Processes and Termination.
    Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday 2009 (0) 2009
    Conference paper
    David A. Watt.
    Action Semantics in Retrospect.
    Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday 2009 (0) 2009
    Conference paper
    Fernando Orejas, Martin Wirsing.
    On the Specification and Verification of Model Transformations.
    Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday 2009 (0) 2009
    Conference paper
    Olivier Danvy.
    Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines.
    Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday 2009 (0) 2009
    Show item 1 to 10 of 18  

    Your query returned 18 matches in the database.