Some comments on CPO-semantics and metric space semantics for imperative languages
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Technical Reports ; TR-1989-004
- Schlagwort
-
Metrischer Raum ; Funktionale Semantik ; Vollständige Halbordnung ; Algorithmische Programmiersprache
- Ereignis
-
Veröffentlichung
- (wo)
-
Mannheim
- (wer)
-
Universitätsbibliothek Mannheim
- (wann)
-
1989
- Urheber
-
Majster-Cederbaum, Mila
- URN
-
urn:nbn:de:bsz:180-madoc-18698
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:55 MEZ
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
- Majster-Cederbaum, Mila
- Universitätsbibliothek Mannheim
Entstanden
- 1989
Ähnliche Objekte (12)
Comparative metric semantics of programming languages : nondeterminism and recursion
Foundations for semantics in complete metric spaces
Complementizer semantics in European languages
Mechanized semantics of simple imperative programming constructs
Don't negate imperatives! : Imperatives and the semantics of negative markers
Symposium on semantics of algorithmic languages
Towards a foundation for semantics in complete metric spaces
The syntax and semantics of infinitary languages
Semantics
Semantics
Semantics
Semantics of programming languages and algebra : 07.06. - 11.06.93
Comparative metric semantics of programming languages : nondeterminism and recursion
Foundations for semantics in complete metric spaces
Complementizer semantics in European languages
Mechanized semantics of simple imperative programming constructs
Don't negate imperatives! : Imperatives and the semantics of negative markers
Symposium on semantics of algorithmic languages
Towards a foundation for semantics in complete metric spaces
The syntax and semantics of infinitary languages
Semantics
Semantics
Semantics
Semantics of programming languages and algebra : 07.06. - 11.06.93
Comparative metric semantics of programming languages : nondeterminism and recursion
Foundations for semantics in complete metric spaces
Complementizer semantics in European languages
Mechanized semantics of simple imperative programming constructs
Don't negate imperatives! : Imperatives and the semantics of negative markers
Symposium on semantics of algorithmic languages
Towards a foundation for semantics in complete metric spaces
The syntax and semantics of infinitary languages
Semantics
Semantics
Semantics