Tallenna
Comparative Metric Semantics of Programming Languages
During the last three decades several different styles of semantics for program ming languages have been developed. Besides non determinism our four example languages contain some form of recursion, a key ingredient of programming languages.
- Alaotsikko
- Nondeterminism and Recursion
- Kirjailija
- Franck van Breughel
- Painos
- Softcover reprint of the original 1st ed. 1998
- ISBN
- 9781461286806
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 26.9.2011
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 220
