Pettersson, Mikael
Compiling natural semantics
Mikael Pettersson
- XVI, 240 S. graph. Darst.
- Lecture notes in computer science 1549 .
- 154900 .
- Lecture notes in computer science 1549 .
Literaturverz. S. [223] - 237
Teilw. zugl.: Linköping, Univ., Diss., 1995
Pettersson, Mikael: Compiling Natural Semantics
3540659684 : DM 70.00 (Gb.)
99,N19,0317 dnb 99,A27,0761 dnb
956170595 DE-101
Programming languages (Electronic computers)--Semantics
Relational Meta-Language
Hochschulschrift
005.13/1