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