Results 251 to 260 of about 24,130 (303)

Blending imperative and relational programming

IEEE Software, 1991
When imperative (value- or state-oriented) programming and logical (relation-oriented) programming are combined into a single language, the combination is even more powerful than when either technique is used alone. Leda, a strongly typed compiled language that tries to combine features of both, is described. Suggestions for blending the two styles are
exaly   +2 more sources

Analysis of Imperative XML Programs

Information Systems, 2007
The widespread adoption of XML has led to programming languages that support XML as a first class construct. In this paper, we present a method for analyzing and optimizing imperative XML processing programs. In particular, we present a program analysis, based on a flow-sensitive type system, for detecting both redundant computations and redundant ...
Christoph Reichenbach   +3 more
openaire   +1 more source

Algebraic Semantics of an Imperative Programming Language

Programming and Computer Software, 2003
exaly   +2 more sources

Home - About - Disclaimer - Privacy