LEADER 04770nam  22007455  450 
001 996465292903316
005 20230406024705.0
010   $a3-642-04164-7
024 7 $a10.1007/978-3-642-04164-8
035   $a(CKB)1000000000784758
035   $a(SSID)ssj0000319994
035   $a(PQKBManifestationID)11243394
035   $a(PQKBTitleCode)TC0000319994
035   $a(PQKBWorkID)10342359
035   $a(PQKB)11624309
035   $a(DE-He213)978-3-642-04164-8
035   $a(MiAaPQ)EBC3064600
035   $a(PPN)139955410
035   $a(EXLCZ)991000000000784758
100   $a20100301d2009      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aSemantics and Algebraic Specification$b[electronic resource] $eEssays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday /$fedited by Jens Palsberg
205   $a1st ed. 2009.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009.
215   $a1 online resource (X, 409 p.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5700
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-04163-9 
320   $aIncludes bibliographical references and index.
327   $aTribute to Peter Mosses -- Action Semantics in Retrospect -- Component-Based Security Policy Design with Colored Petri Nets -- Order-Sorted Parameterization and Induction -- An Implementation of Object-Oriented Action Semantics in Maude -- A Constructive Semantics for Basic Aspect Constructs -- Structural Operational Semantics for Weighted Transition Systems -- On the Specification and Verification of Model Transformations -- Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines -- Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines -- Type Checking Evolving Languages with MSOS -- Action Algebras and Model Algebras in Denotational Semantics -- Mobile Processes and Termination -- An Action Semantics Based on Two Combinators -- Converting between Combinatory Reduction Systems and Big Step Semantics -- Model-Based Testing and the UML Testing Profile -- A Complete, Co-inductive Syntactic Theory of Sequential Control and State -- Vertical Object Layout and Compression for Fixed Heaps.
330   $aThis 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5700
606   $aComputer programming
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aComputer science
606   $aMachine theory
606   $aProgramming Techniques
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
615  0$aComputer programming.
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615  0$aComputer science.
615  0$aMachine theory.
615 14$aProgramming Techniques.
615 24$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
676   $a004
686   $aDAT 510f$2stub
686   $aDAT 557f$2stub
686   $aSS 4800$2rvk
702   $aPalsberg$b Jens$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465292903316
996   $aSemantics and Algebraic Specification$9773713
997   $aUNISA