Compiling natural semantics
Main Author: | Pettersson, Mikael |
---|---|
Format: | Book |
Language: | English |
Published: |
New York
Springer
1999
|
Series: | Lecture notes in computer science
1549 |
Subjects: |
Similar Items
-
Domains and lambda-calculi
by: Amadio, Roberto M.
Published: (1998) -
Action semantics
by: Mosses, Peter D.
Published: (1992) -
Syntax-directed semantics formal models based on tree transducers
by: Fulop, Zoltan
Published: (1998) -
Comparative metric semantics of programming languages nondeterminism and recursion
by: Breugel, Franck van 1966-
Published: (1998) -
Μελέτη των διερμηνευτών (scripting languages) που χρησιμοποιούνται στο [sic] παγκόσμιο ιστό, το διαδίκτυο, την εικονική πραγματικότητα και σε σχετικές τεχνολογίες και ανάπτυξη πιλοτικού συστήματος δικτυοκεντρικού διερμηνευτή
by: Ψιστάκης, Ιωσήφ Ε.
Published: (2009)