Comparative metric semantics of programming languages nondeterminism and recursion
Κύριος συγγραφέας: | Breugel, Franck van 1966- |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Boston
Birkhauser
1998
|
Σειρά: | Progress in theoretical computer science
|
Θέματα: |
Παρόμοια τεκμήρια
-
Action semantics
ανά: Mosses, Peter D.
Έκδοση: (1992) -
Compiling natural semantics
ανά: Pettersson, Mikael
Έκδοση: (1999) -
Domains and lambda-calculi
ανά: Amadio, Roberto M.
Έκδοση: (1998) -
Programming languages concepts and constructs
ανά: Sethi, Ravi
Έκδοση: (1996) -
Syntax-directed semantics formal models based on tree transducers
ανά: Fulop, Zoltan
Έκδοση: (1998)