Results 281 to 287 of about 5,309 (287)
Some of the next articles are maybe not open access.
An Operational Semantics of Starlog
1999Starlog is a temporal logic programming language that supports declarative specification of reactive systems, input-output behaviour and destructive updates. This paper presents an operational semantics for Starlog. Its correctness and completeness with respect to a model semantics are proved.
John G. Cleary, Lunjin Lu
openaire +2 more sources
2017
In the previous part of the book we have introduced and studied an imperative language called IMP. In this chapter we move our attention to functional languages. In particular, we introduce HOFL, a simple higher-order functional language that allows for the explicit construction of infinitely many types. We overview Church and Curry type theories. Then,
Ugo Montanari, Roberto Bruni
openaire +2 more sources
In the previous part of the book we have introduced and studied an imperative language called IMP. In this chapter we move our attention to functional languages. In particular, we introduce HOFL, a simple higher-order functional language that allows for the explicit construction of infinitely many types. We overview Church and Curry type theories. Then,
Ugo Montanari, Roberto Bruni
openaire +2 more sources
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
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
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 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