1194 search results - page 17 / 239 » A Calculus for Predicative Programming |
104
click to vote
SAS
2005
Springer
15 years 5 months ago
2005
Springer
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
FAC
2002
14 years 11 months ago
2002
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. More...
ECOOP
2010
Springer
15 years 4 months ago
2010
Springer
ICDT
1995
ACM
15 years 3 months ago
1995
ACM
Following results are sketched in this extended abstract: (1) Datalog recursive programs where each rule has at most one subgoal called unit recursions are shown to be bounded, wit...
ENTCS
2002
14 years 11 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...