Alles van: L. Ammeraal
Resultaat 21 - 27 (van 27)
L. Ammeraal A W-grammar for the semantics of integer expressions
Engels | Mathematisch Centrum, Amsterdam | 1976
Gedrukt boek
L. Ammeraal On foreward and backward proof rules for program verification
Engels | 8 pagina's | Mathematisch Centrum, Amsterdam | 1976
Gedrukt boek
L. Ammeraal Extending a run-time stack with some registers
Engels | 9 pagina's | Mathematisch Centrum, Amsterdam | 1975
Gedrukt boek
L. Ammeraal An implementation of an ALGOL 68 sublanguage
Engels | 14 pagina's | Mathematisch Centrum, Amsterdam | 1975
Gedrukt boek
L. Ammeraal Mini ALGOL 68 user's guide
Engels | 21 pagina's | Mathematisch Centrum, Amsterdam | 1975
Gedrukt boek
L. Ammeraal On the design of programming languages including Mini ALGOL 68
Engels | 6 pagina's | Mathematisch Centrum, Amsterdam | 1975
Gedrukt boek
L. Ammeraal How program statements transform predicates
Engels | 15 pagina's | Mathematisch Centrum, Amsterdam | 1975
Gedrukt boek