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ženo v:

Podrobná bibliografie
Vydáno v:	Theoretical computer science Ročník 258; číslo 1; s. 1 - 98
Hlavní autor:	van Breugel, Franck
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Amsterdam Elsevier B.V 2001 Elsevier
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!