Comparative metric semantics of programming languages : nondeterminism and recursion
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783764339272
3764339276
9780817639273
0817639276
- Dimensions
-
25 cm
- Extent
-
XIX, 220 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturverz. S. 201 - 216
- Keyword
-
Programmiersprache
Operationale Semantik
Programmiersprache
Funktionale Semantik
- Event
-
Veröffentlichung
- (where)
-
Boston, Basel, Berlin
- (who)
-
Birkhäuser
- (when)
-
1998
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
- 11.06.2025, 11:57 AM UTC
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Breugel, Franck van
- Birkhäuser
Time of origin
- 1998
Other Objects (12)
Some comments on CPO-semantics and metric space semantics for imperative languages
Semantics of programming languages and algebra : 07.06. - 11.06.93
Justifying the strong memory semantics of concurrent high-level programming languages for system programming
A classification scheme for declarative programming languages : syntax, semantics and operational models
How to interpret and establish consistency results for semantics of concurrent programming languages
Complementizer semantics in European languages
Interfaces + recursion : = language? : Chomsky's minimalism and the view from syntax semantics
Programming languages and systems
Modular programming languages : proceedings
Fundamentals of programming languages
Multiparadigm constraint programming languages
Fundamentals of programming languages
Some comments on CPO-semantics and metric space semantics for imperative languages
Semantics of programming languages and algebra : 07.06. - 11.06.93
Justifying the strong memory semantics of concurrent high-level programming languages for system programming
A classification scheme for declarative programming languages : syntax, semantics and operational models
How to interpret and establish consistency results for semantics of concurrent programming languages
Complementizer semantics in European languages
Interfaces + recursion : = language? : Chomsky's minimalism and the view from syntax semantics
Programming languages and systems
Modular programming languages : proceedings
Fundamentals of programming languages
Multiparadigm constraint programming languages
Fundamentals of programming languages
Some comments on CPO-semantics and metric space semantics for imperative languages
Semantics of programming languages and algebra : 07.06. - 11.06.93
Justifying the strong memory semantics of concurrent high-level programming languages for system programming
A classification scheme for declarative programming languages : syntax, semantics and operational models
How to interpret and establish consistency results for semantics of concurrent programming languages
Complementizer semantics in European languages
Interfaces + recursion : = language? : Chomsky's minimalism and the view from syntax semantics
Programming languages and systems
Modular programming languages : proceedings
Fundamentals of programming languages
Multiparadigm constraint programming languages