Add to ORKGtextabstractA variety of disparate methods have traditionally been used to define the execution semantics of programming languages, to describe partial evaluation, to formalize program analysis as abstract interpretation, and to implement each of these operations in practical systems. We argue here that equational logic can serve to unify each of these aspects of language manipulation
In an earlier paper, one of the present authors presented a preliminary account of an equational log...
PIM is an equational logic designed to function as a ``transformational toolkit'' for compilers and ...
This paper presents a simple programming logic LES, which is particularly well suited for reasoning...
A variety of disparate methods have traditionally been used to define the execution semantics of pro...
Many methods exist to perform program transformations, but most of them are dedicated to few program...
Equality plays an important role in our life, and we practise equational reasoning everyday. We can ...
The relationship between abstract interpretation [2] and partial evaluation [5] has received conside...
The relationship between abstract interpretation [2] and partial evaluation [5] has received conside...
In 1975 I started a small project to explore the consequences of implementing equational programs wi...
... this paper, we present Equational Semantics, a formalism largely inspired by attribute grammars ...
AbstractIn the Prolog language, Horn clauses of first-order logic are regarded as programs, and the ...
A framework that combines imperative programs with algebraic specifications is presented. We focus o...
1 Introduction Programming is difficult, as shown by the fact that debugging a program usually takes...
AbstractThis paper describes SOSSubC: a system for automatically translating programs written in Sub...
Abstract interpretation is a static analysis framework for sound over-approximation of all possible ...
In an earlier paper, one of the present authors presented a preliminary account of an equational log...
PIM is an equational logic designed to function as a ``transformational toolkit'' for compilers and ...
This paper presents a simple programming logic LES, which is particularly well suited for reasoning...
A variety of disparate methods have traditionally been used to define the execution semantics of pro...
Many methods exist to perform program transformations, but most of them are dedicated to few program...
Equality plays an important role in our life, and we practise equational reasoning everyday. We can ...
The relationship between abstract interpretation [2] and partial evaluation [5] has received conside...
The relationship between abstract interpretation [2] and partial evaluation [5] has received conside...
In 1975 I started a small project to explore the consequences of implementing equational programs wi...
... this paper, we present Equational Semantics, a formalism largely inspired by attribute grammars ...
AbstractIn the Prolog language, Horn clauses of first-order logic are regarded as programs, and the ...
A framework that combines imperative programs with algebraic specifications is presented. We focus o...
1 Introduction Programming is difficult, as shown by the fact that debugging a program usually takes...
AbstractThis paper describes SOSSubC: a system for automatically translating programs written in Sub...
Abstract interpretation is a static analysis framework for sound over-approximation of all possible ...
In an earlier paper, one of the present authors presented a preliminary account of an equational log...
PIM is an equational logic designed to function as a ``transformational toolkit'' for compilers and ...
This paper presents a simple programming logic LES, which is particularly well suited for reasoning...