Add to ORKGA 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
PIM is an equational logic designed to function as a ``transformational toolkit'' for compilers and ...
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 ...
textabstractA variety of disparate methods have traditionally been used to define the execution sema...
Many methods exist to perform program transformations, but most of them are dedicated to few program...
The relationship between abstract interpretation [2] and partial evaluation [5] has received conside...
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...
In 1975 I started a small project to explore the consequences of implementing equational programs wi...
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...
In an earlier paper, one of the present authors presented a preliminary account of an equational log...
... this paper, we present Equational Semantics, a formalism largely inspired by attribute grammars ...
he central idea of the technique of Abstract Interpretation is that the analysis of a program consis...
PIM is an equational logic designed to function as a ``transformational toolkit'' for compilers and ...
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 ...
textabstractA variety of disparate methods have traditionally been used to define the execution sema...
Many methods exist to perform program transformations, but most of them are dedicated to few program...
The relationship between abstract interpretation [2] and partial evaluation [5] has received conside...
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...
In 1975 I started a small project to explore the consequences of implementing equational programs wi...
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...
In an earlier paper, one of the present authors presented a preliminary account of an equational log...
... this paper, we present Equational Semantics, a formalism largely inspired by attribute grammars ...
he central idea of the technique of Abstract Interpretation is that the analysis of a program consis...
PIM is an equational logic designed to function as a ``transformational toolkit'' for compilers and ...
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 ...