An Algebraic Approach to Compiler Design

Augusto Sampaio

• Hardcover | Engels | Amast Computing | nr. 4
• This book investigates the design of compilers for procedural languages, based on the algebraic laws which these languages satisfy. The particular str... Lees meer

Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification

Razvan Diaconescu, Kokichi Futatsugi

• Hardcover | Engels | Amast Computing | nr. 6
• CafeOBJ is an industrial strength modern algebraic specification language, a successor of the famous OBJ language, and directly incorporating new para... Lees meer

Theories and Experiences for Real-Time System Development

Charles Rattray, Teodor Rus

• Hardcover | Engels | Amast Computing | nr. 2
• Our understanding of real-time systems is rapidly approaching a level of maturity which calls for a consolidation of our present knowledge and experie... Lees meer

Language Prototyping: An Algebraic Specification Approach

Jan Heering, Paul Klint, Arie Van Deursen

• Hardcover | Engels | Amast Computing | nr. 5
• Language prototyping provides a means to generate language implementations automatically from high-level language definitions. This volume presents an... Lees meer

Formal Models of Computation: The Ultimate Limits of Computing

Arthur C Fleck

• Hardcover | Engels | Amast Computing | nr. 7
• This book provides new presentations of standard computational models that help avoid pitfalls of the conventional description methods. It also includ... Lees meer

Real-Time Systems: Modeling, Design and Applications

• Hardcover | Engels | Amast Computing | nr. 8
• This book collects the research work of leading-edge researchers and practitioners in the areas of analysis, synthesis, design and implementation of r... Lees meer