Comparative metric semantics of programming languages : nondeterminism and recursion
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783764339272
3764339276
9780817639273
0817639276
- Maße
-
25 cm
- Umfang
-
XIX, 220 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturverz. S. 201 - 216
- Schlagwort
-
Programmiersprache
Operationale Semantik
Programmiersprache
Funktionale Semantik
- Ereignis
-
Veröffentlichung
- (wo)
-
Boston, Basel, Berlin
- (wer)
-
Birkhäuser
- (wann)
-
1998
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
- 11.06.2025, 13:57 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Breugel, Franck van
- Birkhäuser
Entstanden
- 1998
Ähnliche Objekte (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
Modular programming languages : proceedings
Programming languages and systems
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
Modular programming languages : proceedings
Programming languages and systems
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
Modular programming languages : proceedings
Programming languages and systems
Fundamentals of programming languages
Multiparadigm constraint programming languages