An algebraic approach to compiler design
0
Type: Book
"25" Result
Sort By:
An algebraic approach to compiler design
0
Type: Book
An Algebraic approach to compiler design
0
Type: Book
An algebraic approach to compiler design
0
Type: Book
An algebraic approach to compiler design
0
Type: Book
This book investigates the design of compilers for procedural languages, based on the algebraic laws which these languages satisfy. The particular strategy adopted is to reduce an arbitrary source program to a general normal form, capable of representing an arbitrary target mach…
An algebraic approach to compiler design
0
Type: Book
I. Basic specifications. 1. Signatures -- 2. Models -- 3. Sentences -- 4. Satisfaction -- 5. Proof system -- II. Structuring specifications. 6. Fundamental semantics concepts -- 7. Module imports -- 8. Views -- 9. Parameterized modules -- 10. Module expressions -- 11. Built-in m…
CafeOBJ is an industrial strength modern algebraic specification language, a successor of the famous OBJ language, and directly incorporating new paradigms such as behavioural concurrent specification and rewriting logic. CafeOBJ is the core of an environment supporting the syst…
