AbstractOne of the attractive features of occam is the large number of memorable algebraic laws which exist relating programs. We investigate these laws and, by discovering a normal form for WHILE-free programs, show that they completely characterise the language's semantics
One of the concepts that programming language theory deals with are computational effects such as in...
In a sufficiently rich programming language it is possible to express a very substantial amount of ...
Programmers don't just have to write programs, they are have to reason about them. Programming langu...
We generalize algebraic operational semantics from sequential languages to distributed, concurrent l...
Program algebras abstract the essential properties of programming languages in the form of algebraic...
The algebraic laws for programming with concurrency are as simple as (and very similar to) the famil...
This paper shows how to compile a program written in a subset of occam into a normal form suitable f...
AbstractWe present algebraic laws for a language similar to a subset of sequential Java that include...
We present algebraic laws for a language similar to a subset of sequential Java that includes inheri...
Occam is a low-level programming language designed specifically to program an array of transputers, ...
© 2018 Association for Computing Machinery. Recursive programs can now be expressed as normal forms ...
AbstractThe FOC project, started at the fall 1997, is aimed to build a programming environment for t...
A programming language is viewed as a language for expressing “instructions” for a computation to be...
Algebraic properties specify some natural properties of programming and specification constructs. Th...
1 Introduction Programming is difficult, as shown by the fact that debugging a program usually takes...
One of the concepts that programming language theory deals with are computational effects such as in...
In a sufficiently rich programming language it is possible to express a very substantial amount of ...
Programmers don't just have to write programs, they are have to reason about them. Programming langu...
We generalize algebraic operational semantics from sequential languages to distributed, concurrent l...
Program algebras abstract the essential properties of programming languages in the form of algebraic...
The algebraic laws for programming with concurrency are as simple as (and very similar to) the famil...
This paper shows how to compile a program written in a subset of occam into a normal form suitable f...
AbstractWe present algebraic laws for a language similar to a subset of sequential Java that include...
We present algebraic laws for a language similar to a subset of sequential Java that includes inheri...
Occam is a low-level programming language designed specifically to program an array of transputers, ...
© 2018 Association for Computing Machinery. Recursive programs can now be expressed as normal forms ...
AbstractThe FOC project, started at the fall 1997, is aimed to build a programming environment for t...
A programming language is viewed as a language for expressing “instructions” for a computation to be...
Algebraic properties specify some natural properties of programming and specification constructs. Th...
1 Introduction Programming is difficult, as shown by the fact that debugging a program usually takes...
One of the concepts that programming language theory deals with are computational effects such as in...
In a sufficiently rich programming language it is possible to express a very substantial amount of ...
Programmers don't just have to write programs, they are have to reason about them. Programming langu...
DOI
Add to ORKG