Results 281 to 287 of about 4,882 (287)
Some of the next articles are maybe not open access.
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
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
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
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