An introduction to metric semantics: operational and denotational models for programming and specification languages

Our focus is on the semantics of programming and specification languages. Over the years, different approaches to give semantics to these languages have been put forward. We restrict ourselves to the operational and the denotational approach, two main streams in the field of semantics. Two notions w...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Theoretical computer science Jg. 258; H. 1; S. 1 - 98
1. Verfasser:	van Breugel, Franck
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Amsterdam Elsevier B.V 2001 Elsevier
Schlagworte:	Applied sciences Computer science; control theory; systems Denotational semantics Exact sciences and technology Labelled transition system Language theory and syntactical analysis Metric semantics Metric space Nondeterminism Nontermination Operational semantics Programming language Specification language Theoretical computing Specification language Operational semantics Programming language Metric space Denotational semantics Metric semantics Nondeterminism Nontermination Labelled transition system Transition system Semantics Lambda calculus Specification Non termination Non determinism
ISSN:	0304-3975, 1879-2294
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!