Results 191 to 200 of about 2,907 (227)
Some of the next articles are maybe not open access.
Denotational semantics for JSD
Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference, 2002This paper discusses the use of denotational semantics in formalizing the notations of structured methods. Using the Jackson System Development (JSD) method as an example, the techniques of denotational semantics are applied to the JSD notations to give them a formal semantics based on lambda calculus and communicating sequential processes (CSP). A JSD
openaire +1 more source
A denotational semantics for stateflow
Proceedings of the 5th ACM international conference on Embedded software, 2005We present a denotational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink toolsuite. This semantics makes use of continuations to capture even the most complex constructions of the language, such as inter-level transitions, junctions, or backtracking.
openaire +1 more source
Domains for denotational semantics
1982The purpose of the theory of domains is to give models for spaces on which to define computable functions. The kinds of spaces needed for denotational sematics involve not only spaces of higher type (e.g. function spaces) but also spaces defined recursively (e.g. reflexive domains).
openaire +1 more source
A Denotational Semantics for Handel-C
Formal Aspects of Computing, 2007AbstractWe 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
Foundations of denotational semantics
1980Chapters I and II of this paper provide an elementary introduction to the mathematical theory underlying the denotational semantic definition techniques described in this volume; the next two chapters discuss some techniques of use in reasoning about such definitions, and Chapter V describes one way of handling the semantics of languages involving ...
openaire +1 more source
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
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
On the Approximation of Denotational Mu-Semantics
Applied Categorical Structures, 1999zbMATH 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, 2006This 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 +2 more
openaire +2 more sources
Denotational semantics of object specification
Acta Informatica, 1998From 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 +2 more
openaire +1 more source
Denotational semantics of parallelism
2005This 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