Mathematical semantics and compiler generation
Main Author: | Mosses, Peter |
---|---|
Format: | Thesis |
Language: | English |
Published: |
1975
|
Similar Items
-
Semantics-directed compiler generation : proceedings /
by: Workshop on Semantics-Directed Compiler Generation (1980 : Aarhus)
Published: (1980) -
Students Thinking Process in Compiling Mathematical Proof with Semantics Strategy
by: Abdussakir Abdussakir
Published: (2015-03-01) -
Realistic compiler generation /
by: 222836 Lee, Peter
Published: (1989) -
Integration of semantic verication into Java compilers
by: A. V. Klepinin, et al.
Published: (2010-12-01) -
Semantics and Scheduling for Machine Knitting Compilers
by: Lin, Jenny, et al.
Published: (2023)