Results 151 to 160 of about 246 (185)

A Denotational Semantics for Handel-C

Formal Aspects of Computing, 2007
AbstractWe present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language (Celoxica Ltd., Handel-C Language Reference Manual, v3.0, 2002,http://www.celoxica.com), based on the concept of typed assertion traces.
openaire   +1 more source

WHY DENOTATIONAL?

Fundamenta Informaticae, 1996
This is an essay where the author expresses his views on applied denotational semantics. In the author's opinion, whether a software system has or does not have a sufficiently abstract denotational semantics should be regarded as a pragmatic attribute of the system rather than merely as a mathematical attribute of its description.
openaire   +3 more sources

Denotational semantics of parallelism

2005
This paper studies the denotational semantics of programming language constructs whose operational semantics require interleaving of computations. In particular a semantics is given for recursion equations with a convergence test. A convergence test is a nondeterministic construct which selects among expressions according to which one converges (i.e ...
openaire   +1 more source

On the Approximation of Denotational Mu-Semantics

Applied Categorical Structures, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

From algebraic semantics to denotational semantics for Verilog

Innovations in Systems and Software Engineering, 2006
This paper considers how the algebraic semantics for Verilog relates with its denotational semantics. Our approach is to derive the denotational semantics from the algebraic semantics. We first present the algebraic laws for Verilog. Every program can be expressed as a guarded choice that can model the execution of a program.
Huibiao Zhu, Jifeng He 0001, Jonathan P. Bowen   +2 more
openaire   +2 more sources

Denotational semantics of object specification

Acta Informatica, 1998
From an arbitrary temporal logic institution we show how to set up the corresponding institution of objects. The main properties of the resulting institution are studied and used in establishing a categorial, denotational semantics of several basic constructs of object specification, namely aggregation (parallel composition), interconneetion ...
Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro   +2 more
openaire   +1 more source

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

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

Equivalence of Denotational and Operational Semantics for Interaction Languages

Lecture Notes in Computer Science, 2022
Christophe Gaston, Erwan Mahe, Pascale Le Gall   +2 more
exaly