Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday /

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 se...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Palsberg, Jens (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Σειρά:Lecture Notes in Computer Science, 5700
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 04196nam a22005535i 4500
001 978-3-642-04164-8
003 DE-He213
005 20170124055623.0
007 cr nn 008mamaa
008 100301s2009 gw | s |||| 0|eng d
020 |a 9783642041648  |9 978-3-642-04164-8 
024 7 |a 10.1007/978-3-642-04164-8  |2 doi 
040 |d GrThAP 
050 4 |a QA76.6-76.66 
072 7 |a UM  |2 bicssc 
072 7 |a COM051000  |2 bisacsh 
082 0 4 |a 005.11  |2 23 
245 1 0 |a Semantics and Algebraic Specification  |h [electronic resource] :  |b Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday /  |c edited by Jens Palsberg. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2009. 
300 |a X, 409 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 5700 
505 0 |a Tribute 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. 
520 |a 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. 
650 0 |a Computer science. 
650 0 |a Software engineering. 
650 0 |a Computer programming. 
650 0 |a Programming languages (Electronic computers). 
650 0 |a Computer logic. 
650 0 |a Mathematical logic. 
650 1 4 |a Computer Science. 
650 2 4 |a Programming Techniques. 
650 2 4 |a Software Engineering/Programming and Operating Systems. 
650 2 4 |a Programming Languages, Compilers, Interpreters. 
650 2 4 |a Logics and Meanings of Programs. 
650 2 4 |a Mathematical Logic and Formal Languages. 
650 2 4 |a Software Engineering. 
700 1 |a Palsberg, Jens.  |e editor. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783642041631 
830 0 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 5700 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-04164-8  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (Springer-11645)