Andere Kunden interessierten sich auch für
![An Algebraic Approach to Compiler Design]( "An Algebraic Approach to Compiler Design")
An Algebraic Approach to Compiler Design88,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 Specification43,99 €![Real Time Programming: Languages, Specification and Verification]( "Real Time Programming: Languages, Specification and Verification")
Real Time Programming: Languages, Specification and Verification112,99 €![Non-Deterministic Concurrent Logic Programming in Pandora]( "Non-Deterministic Concurrent Logic Programming in Pandora")
Non-Deterministic Concurrent Logic Programming in Pandora91,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 Toolkit85,99 €![Programming Languages: A Modern Approach]( "Programming Languages: A Modern Approach")
Programming Languages: A Modern Approach138,99 €![Software Engineering and Information Technology - Proceedings of the 2015 International Conference (SEIT2015)]( "Software Engineering and Information Technology - Proceedings of the 2015 International Conference (SEIT2015)")
Software Engineering and Information Technology - Proceedings of the 2015 International Conference (SEIT2015)159,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.