4370 search results - page 33 / 874 » Algebra of Logic Programming |
COMPASS
1995
14 years 12 days ago
1995
CORR
2007
Springer
13 years 8 months ago
2007
Springer
A rigid loop is a for-loop with a counter not accessible to the loop body or any other part of a program. Special instructions for rigid loops are introduced on top of the syntax ...
DIAGRAMS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We have developed a diagrammatic logic for theorem proving, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry alge...
PARLE
1993
14 years 28 days ago
1993
Abstract. We present a set of primitive program schemes, which together with just two basic combining forms provide a suprisingly expressive parallel programming language. The prim...
TAPSOFT
1995
Springer
14 years 12 days ago
1995
Springer
Algebraic specifications have been used successfully as a formal basis for software development. This paper discusses how the origin and dynamic dependence relations implicitly de...