Andere Kunden interessierten sich auch für
![An Algebraic Approach to Compiler Design]( "An Algebraic Approach to Compiler Design")
An Algebraic Approach to Compiler Design100,99 €![Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification]( "Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification")
Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification49,99 €![Real Time Programming: Languages, Specification and Verification]( "Real Time Programming: Languages, Specification and Verification")
Real Time Programming: Languages, Specification and Verification123,99 €![Specification in B: An Introduction Using the B Toolkit]( "Specification in B: An Introduction Using the B Toolkit")
Specification in B: An Introduction Using the B Toolkit86,99 €![Automated Database Applications Testing: Specification Representation for Automated Reasoning]( "Automated Database Applications Testing: Specification Representation for Automated Reasoning")
Automated Database Applications Testing: Specification Representation for Automated Reasoning111,99 €![Non-Deterministic Concurrent Logic Programming in Pandora]( "Non-Deterministic Concurrent Logic Programming in Pandora")
Non-Deterministic Concurrent Logic Programming in Pandora103,99 €![Programming Languages: A Modern Approach]( "Programming Languages: A Modern Approach")
Programming Languages: A Modern Approach156,99 €
Language prototyping provides a means to generate language implementations automatically from high-level language definitions. This volume presents an algebraic specification approach to language prototyping, and is centered around the ASF+SDF formalism and Meta-Environment. The volume is an integrated collection of articles covering a number of case studies, and includes several chapters proposing new techniques for deriving advanced language implementations. The accompanying software is freely available.