4370 search results - page 33 / 874 » Algebra of Logic Programming |
91
Voted
COMPASS
1995
15 years 4 months ago
1995
40
Voted
CORR
2007
Springer
15 years 22 days 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 ...
92
Voted
DIAGRAMS
2004
Springer
15 years 6 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...
107
Voted
PARLE
1993
15 years 4 months 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...
101
Voted
TAPSOFT
1995
Springer
15 years 4 months 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...