Semantics and Algebraic Specification
Springer Berlin (Verlag)
978-3-642-04163-1 (ISBN)
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.
Erscheint lt. Verlag | 28.8.2009 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
Zusatzinfo | X, 409 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 631 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
Schlagworte | action • algebraic methods • Algebraic Specification • bisimulation • Case study • category theory • coalgebraic reasoning • code generation • Colored Petri Nets • constructive action semantics • continuations • Design • Distributed Systems • domain-specific language • formal methods • Formal Semantics • Formal Verification • Hardcover, Softcover / Informatik, EDV/Informatik • Maude • mutable references • object-oriented action semantics • Operational Semantics • Process Algebra • program analysis • programming • programming calculi • Programming language • proof obligations • property-preservation • Rewriting Logic • security policy • semantic specifications • software development • Specification • Transformation • typechecking • verification |
ISBN-10 | 3-642-04163-9 / 3642041639 |
ISBN-13 | 978-3-642-04163-1 / 9783642041631 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich