By imperative programming we will understand the writing of code in which the state of the computation is directly tested and explicitly manip-ulated by assignment statements. As a programming paradigm, imperative programming should be compared with functional and logic programming
In this paper, we give a denotational semantics of imperative programming languages as a CafeOBJ beh...
The aim of this project is creating an environment which would allow the user to work with chosen ma...
The feasibility of using Horn clauses as a means of describing and transforming imperative pro-grams...
The rift between imperative and functional programming is one of the oldest in computing. Imperative...
Imperative programming has largely dominated both aspects of Web program-ming: adding sophisticated ...
Introduction Imperative programming is commonly used in scientific computing. It offers the advanta...
This thesis studies the semantics of imperative programming languages. In particular, it explores th...
International audienceSince the early beginning of computer history, one has needed programming lang...
Today, the imperative style of programming is the most common, but at the same time is not inviolabl...
automatic verification in mind Learn how some notions of mathematical logic can be very helpful in r...
This work presents formal and practical tools to support the Alex paradigm for expressing and compi...
It is shown how a matrix can be used to implement a class of dictionaries. Instead of the strong req...
The pedagogical desirability of functional programming is effectively swamped by an overwhelmingly i...
International audienceWe present a new static analysis by abstract interpretation to prove automatic...
This thesis studies various aspects of the theory of programming languages with imperative operation...
In this paper, we give a denotational semantics of imperative programming languages as a CafeOBJ beh...
The aim of this project is creating an environment which would allow the user to work with chosen ma...
The feasibility of using Horn clauses as a means of describing and transforming imperative pro-grams...
The rift between imperative and functional programming is one of the oldest in computing. Imperative...
Imperative programming has largely dominated both aspects of Web program-ming: adding sophisticated ...
Introduction Imperative programming is commonly used in scientific computing. It offers the advanta...
This thesis studies the semantics of imperative programming languages. In particular, it explores th...
International audienceSince the early beginning of computer history, one has needed programming lang...
Today, the imperative style of programming is the most common, but at the same time is not inviolabl...
automatic verification in mind Learn how some notions of mathematical logic can be very helpful in r...
This work presents formal and practical tools to support the Alex paradigm for expressing and compi...
It is shown how a matrix can be used to implement a class of dictionaries. Instead of the strong req...
The pedagogical desirability of functional programming is effectively swamped by an overwhelmingly i...
International audienceWe present a new static analysis by abstract interpretation to prove automatic...
This thesis studies various aspects of the theory of programming languages with imperative operation...
In this paper, we give a denotational semantics of imperative programming languages as a CafeOBJ beh...
The aim of this project is creating an environment which would allow the user to work with chosen ma...
The feasibility of using Horn clauses as a means of describing and transforming imperative pro-grams...
DOI
Add to ORKG