The semantics of an imperative programming language can be expressed as a program in a declarative language. Not only does this render the semantics executable, but it opens up the possibility of applying to imperative languages suchasJava or C the advances made in program analysis and transformation of declarative languages. However the direct application of this approach returns the results of analysis and transformation in the language of the semantics. The problem is to provide a systematic way to relate the results back to the original imperative program
Declarative programming languages, are high-level programming languages in which one only has to sta...
We investigate here how to integrate constraints directly into the imperative programming paradigm, ...
We argue that the naive use of the imperative style of working witharrays in a declarative setting l...
Program analysis and specialisation for declarative languages have been subjects of active research ...
The feasibility of using Horn clauses as a means of describing and transforming imperative pro-grams...
. We present a declarative specification method based on natural semantics which is suitable for th...
In these lecture notes we present a few basic approaches to the definition of the semantics of prog...
In these lecture notes we present a few basic approaches to the definition of the semantics of progr...
The techniques for compilation and optimiza-tion of the declarative (logic and functional) programmi...
. In this paper a method is proposed for carrying out analysis of imperative programs. We achieve th...
The thesis investigates several aspects of the expressive power of declarative programming languages...
There are two different types of programs: imperative programs that describe how to solve a problem,...
We describe a definition language for ASM which describe the operational semantics. We restrict the ...
In this paper, we give a denotational semantics of imperative programming languages as a CafeOBJ beh...
We discuss some approaches to declarative programming including functional programming, various logi...
Declarative programming languages, are high-level programming languages in which one only has to sta...
We investigate here how to integrate constraints directly into the imperative programming paradigm, ...
We argue that the naive use of the imperative style of working witharrays in a declarative setting l...
Program analysis and specialisation for declarative languages have been subjects of active research ...
The feasibility of using Horn clauses as a means of describing and transforming imperative pro-grams...
. We present a declarative specification method based on natural semantics which is suitable for th...
In these lecture notes we present a few basic approaches to the definition of the semantics of prog...
In these lecture notes we present a few basic approaches to the definition of the semantics of progr...
The techniques for compilation and optimiza-tion of the declarative (logic and functional) programmi...
. In this paper a method is proposed for carrying out analysis of imperative programs. We achieve th...
The thesis investigates several aspects of the expressive power of declarative programming languages...
There are two different types of programs: imperative programs that describe how to solve a problem,...
We describe a definition language for ASM which describe the operational semantics. We restrict the ...
In this paper, we give a denotational semantics of imperative programming languages as a CafeOBJ beh...
We discuss some approaches to declarative programming including functional programming, various logi...
Declarative programming languages, are high-level programming languages in which one only has to sta...
We investigate here how to integrate constraints directly into the imperative programming paradigm, ...
We argue that the naive use of the imperative style of working witharrays in a declarative setting l...
Add to ORKG