Results 181 to 190 of about 2,907 (227)

From algebraic semantics to denotational semantics for Verilog

Innovations in Systems and Software Engineering, 2008
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
Huibiao Zhu, Jonathan P Bowen, Zhu Huibiao   +2 more
exaly   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Denotational semantics of concurrency

Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82, 1982
A general framework for the denotational treatment of concurrency is introduced. The key idea is the notion of process which is element of a domain obtained as solution of a domain equation in the style as considered previously by Plotkin. We use tools from metric topology as advocated by Nivat to solve this equation, show how operations upon processes
J. W. de Bakker, Jeffery I. Zucker
openaire   +1 more source

A denotational semantics for Prolog

ACM Transactions on Programming Languages and Systems, 1989
A denotational semantics is presented for the language Pro.og. Metapredicates are not considered. Conventional control sequencing is assumed for Prolog's execution. The semantics is nonstandard, and goal continuations are used to explicate the sequencing.
Tim Nicholson, Norman Y. Foo
openaire   +1 more source

The denotation semantics of NIPL

ACM SIGPLAN Notices, 2001
With the neurons, neural networks and rules in NIPL encapsulated as a special object, the concepts of object-oriented programming, neural network computing and logic inference have been unified, therefore, the denotation semantics of NIPL based on the theory of object-oriented is given.
Tao Li 0016, XiaoJie Liu
openaire   +1 more source

Denotational semantics for thread algebra

The Journal of Logic and Algebraic Programming, 2008
This paper gives a denotational semantics for thread algebra (TA), an algebraic framework for the description and analysis of recent programming languages such as C# and Java [J.A. Bergstra, C.A.
Vu, Thuy Duong, Vu, T.D.
exaly   +2 more sources

CPP denotational semantics

Proceedings Third IEEE International Workshop on Source Code Analysis and Manipulation, 2004
We show that CPP, the preprocessor of the C language, can be seen as a programming language in which directives are statements, parametrized macros are functions, files are procedures, directories are modules, and command lines are programs. The semantics of CPP can therefore be described using traditional techniques.
openaire   +1 more source

A denotational semantics ofLC2

Archive for Mathematical Logic, 1996
The aim of this paper is to extend the classical sequent calculusLC to the second order. This task is realized by a semantical approach mixing the correlation spaces semantics ofLC on the one hand, and the analogy with the interpretation of systemF in coherent spaces on the other hand.
openaire   +3 more sources

Denotational semantics of a calculator

Proceedings of the 1993 ACM conference on Computer science - CSC '93, 1993
Denotational semantics1,2,3,4 provides a formal method of precisely and concisely specifying languages, programming languages as well as other kinds of software such as editors and file systems. But those attributes that make denotational descriptions so effective also lead programmers and software designers to reject the method as too complex.
openaire   +1 more source