Results 141 to 150 of about 246 (185)
Some of the next articles are maybe not open access.
A denotational semantics for Prolog
ACM Transactions on Programming Languages and Systems, 1989A 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
Denotational semantics of concurrency
Proceedings of the fourteenth annual ACM symposium on Theory of computing, 1982A 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
The denotation semantics of NIPL
ACM SIGPLAN Notices, 2001With 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
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
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, 1996The 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, 1993Denotational 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
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
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
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