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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Theoretical computer science Ročník 258; číslo 1; s. 1 - 98
Hlavný autor:	van Breugel, Franck
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Amsterdam Elsevier B.V 2001 Elsevier
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!