Results 201 to 210 of about 2,907 (227)

A modular approach to denotational semantics

2005
We propose an incremental approach to the denotational semantics of complex programming languages based on the idea of monad transformer. The traditional way of giving denotational semantics to a programming language is to translate it into a metalanguage ML with a fixed intended interpretation in the category Cpo of cpos (or some variant of it).
openaire   +2 more sources

Denotational Semantics

1995
Abstract Designers, implementers, and serious users of a programming language need a complete and accurate understanding of the semantics (the intended meaning) of every construct of that language. The semantic descriptions in reference manuals and language standards are almost always inadequate because they are based primarily on ...
openaire   +1 more source

Denotational semantics of channel mobility in UTP-CSP

Formal Aspects of Computing, 2021
Gérard Ekembe Ngondi
exaly  

Towards a Denotational Semantics for TimeML

2007
The XML-based markup language TimeML encodes temporal and event-time information for use in automatic text processing. The TimeML annotation of a text contains information about the temporal intervals that are mentioned in the text as well as the relationship of these temporal intervals to the times and events mentioned in the text.
openaire   +1 more source

Operational and denotational semantics for the box algebra

Theoretical Computer Science, 1999
Maciej Koutný, Eike Best
exaly  

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

Theoretical Computer Science, 2001
Franck van Breugel
exaly  

A denotational semantics for the generalized ER model and a simple ER algebra

International Journal of Computer Mathematics, 1988
Peter P Chen
exaly  

Denotational linear time semantics and sequential composition

Information Processing Letters, 1996
Christel Baier
exaly  

Some comments on “a denotational semantics for Prolog”

ACM Transactions on Programming Languages and Systems, 1994
Daniel M Berry, Andrew W Appel
exaly  

A Denotational Semantics for SPARC TSO

Electronic Notes in Theoretical Computer Science, 2018
Ryan Kavanagh
exaly