Results 221 to 230 of about 230,502 (255)
Some of the next articles are maybe not open access.
A denotational semantics of $LC2$
Archive for Mathematical Logic, 1996zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +5 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 +2 more sources
Denotational semantics of concurrency
Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82, 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 +2 more sources
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, XiaoJie Liu
openaire +2 more sources
Execution time of λ-terms via denotational semantics and intersection types
Mathematical Structures in Computer Science, 2009The multiset-based relational model of linear logic induces a semantics of the untyped λ-calculus, which corresponds with a non-idempotent intersection type system, System R.
D. Carvalho
semanticscholar +1 more source
A Denotational Semantics of Solidity in Isabelle/HOL
IEEE International Conference on Software Engineering and Formal Methods, 2021Diego Marmsoler, Achim D. Brucker
semanticscholar +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 +2 more sources
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 +2 more sources
A Denotational Semantics of RONDO
1998In this chapter, a formal description of RONDO will be presented. It is based on an extension of the denotational semantics of an object-oriented language with state, O’Small, proposed by Hense [47]. O’Small is a Smalltalk-like objectoriented extension of the imperative language Small [38].
openaire +2 more sources
2017
In this chapter we give a more abstract, purely mathematical semantics to IMP, called denotational semantics. The operational semantics is close to the memory-based, executable machine-like view: given a program and a state, we derive the state obtained after the execution of that program.
Ugo Montanari, Roberto Bruni
openaire +2 more sources
In this chapter we give a more abstract, purely mathematical semantics to IMP, called denotational semantics. The operational semantics is close to the memory-based, executable machine-like view: given a program and a state, we derive the state obtained after the execution of that program.
Ugo Montanari, Roberto Bruni
openaire +2 more sources
1990
Publisher Summary This chapter focuses on denotational semantics, which is a framework for the formal description of programming language semantics. The main idea of denotational semantics is that each phrase of the language described is given a denotation, which is a mathematical object that represents the contribution of the phrase to the meaning of
openaire +2 more sources
Publisher Summary This chapter focuses on denotational semantics, which is a framework for the formal description of programming language semantics. The main idea of denotational semantics is that each phrase of the language described is given a denotation, which is a mathematical object that represents the contribution of the phrase to the meaning of
openaire +2 more sources