Comparative metric semantics of programming languages nondeterminism and recursion
| Main Author: | Breugel, Franck van 1966- |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Boston
Birkhauser
1998
|
| Series: | Progress in theoretical computer science
|
| Subjects: |
Similar Items
-
Action semantics
by: Mosses, Peter D.
Published: (1992) -
Compiling natural semantics
by: Pettersson, Mikael
Published: (1999) -
Domains and lambda-calculi
by: Amadio, Roberto M.
Published: (1998) -
Programming languages concepts and constructs
by: Sethi, Ravi
Published: (1996) -
Syntax-directed semantics formal models based on tree transducers
by: Fulop, Zoltan
Published: (1998)