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

Full description

Saved in:

Bibliographic Details
Published in:	Theoretical computer science Vol. 258; no. 1; pp. 1 - 98
Main Author:	van Breugel, Franck
Format:	Journal Article
Language:	English
Published:	Amsterdam Elsevier B.V 2001 Elsevier
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!