Some comments on CPO-semantics and metric space semantics for imperative languages
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Technical Reports ; TR-1989-004
- Keyword
-
Metrischer Raum ; Funktionale Semantik ; Vollständige Halbordnung ; Algorithmische Programmiersprache
- Event
-
Veröffentlichung
- (where)
-
Mannheim
- (who)
-
Universitätsbibliothek Mannheim
- (when)
-
1989
- Creator
-
Majster-Cederbaum, Mila
- URN
-
urn:nbn:de:bsz:180-madoc-18698
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:55 PM CET
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
- Majster-Cederbaum, Mila
- Universitätsbibliothek Mannheim
Time of origin
- 1989
Other Objects (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