Results 301 to 308 of about 100,374 (308)
Some of the next articles are maybe not open access.
Operational semantics and extensionality
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming, 2000ABSTRACT In this paper the notion of extensionality is studied, for theories of of -calculi which arise from operational semantics. A new de nition of extensionality is introduced, parameterized with respect to the particular operational semantics we want to study, and it is proved that to be extensional is equivalent to be closed under a generalized ...
openaire +2 more sources
2017
This chapter introduces the formal syntax and operational semantics of a simple, structured imperative language called IMP, with static variable allocation and no sophisticated declaration constructs for data types, functions, classes, methods and the like.
Ugo Montanari, Roberto Bruni
openaire +2 more sources
This chapter introduces the formal syntax and operational semantics of a simple, structured imperative language called IMP, with static variable allocation and no sophisticated declaration constructs for data types, functions, classes, methods and the like.
Ugo Montanari, Roberto Bruni
openaire +2 more sources
Operational semantics for Verilog
Proceedings Eighth Asia-Pacific Software Engineering Conference, 2005We consider a non-trivial subset of Verilog HDL and construct an operational semantics for it. Only a handful of convenient but nonessential statements are left out for the sake of brevity. However, all challenging parts of the language, including Behavioural and RTL constructs, are considered.
openaire +2 more sources
An operational semantics for occam
International Journal of Parallel Programming, 1989occam is a programming language designed to support concurrent applications, especially those implemented on networks of communicating processors. The aim of this paper is to formulate the meaning of the language constructs ofoccam by semantic definitions that are intended as a formalization of the informal descriptions usually found in programming ...
openaire +2 more sources
On the semantics of combination operations
Journal of Applied Non-Classical Logics, 2001Intelligent agents are often faced with the problem of trying to combine possibly conflicting pieces of information obtained from different sources into a coherent view of the world. We propose a framework for the modelling of such combination operations with roots in the work of Spohn [Spo88, Spo91]. We construct a number of combination operations and
openaire +2 more sources
Operational Semantics of Prolog
2014In this chapter, we describe the operational interpretation of Prolog programs. More precisely, we describe how a Prolog interpreter solves goals in the context of a given program.
openaire +2 more sources
Syntax and Operational Semantics
2017This chapter recapitulates basic mathematical tools needed in the semantics of the probabilistic lambda calculus, in particular, from the fields of probability theory, Markov chains, graph theory and domain theory. Also, it delves into the topic of inductive definitions.
openaire +2 more sources