1557 search results - page 51 / 312 » Programming up to Congruence |
POS
2000
Springer
15 years 2 months ago
2000
Springer
Orthogonal persistence opens up the possibility for a number of applications. We present an approach for easily enabling transparent orthogonal persistence, basically on top of a m...
ICLP
1999
Springer
15 years 3 months ago
1999
Springer
We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for the...
95
Voted
IPPS
1998
IEEE
15 years 3 months ago
1998
IEEE
Abstract. The degree of locality of a program re ects the level of temporal and spatial concentration of related data and computations. Locality optimization can speed up programs ...
118
click to vote
CONCUR
1991
Springer
15 years 2 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...
WCRE
2008
IEEE
15 years 5 months ago
2008
IEEE
Integrative levels of program comprehension describe the evolution of our knowledge about a program from low-level program elements through successive and higher orders of knowled...