1194 search results - page 1 / 239 » A Calculus for Predicative Programming |
ACTA
1998
13 years 4 months ago
1998
The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...
SEMWEB
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. This paper presents a decidable fragment for combining ontologies and rules in order-sorted logic programming. We describe ordersorted logic programming with sort, predic...
MPC
1992
Springer
13 years 8 months ago
1992
Springer
A calculus for developing programs from specifications written as predicates that describe the relationship between the initial and final state is proposed. Such specifications are...
IFM
2009
Springer
13 years 11 months ago
2009
Springer
TABLEAUX
2005
Springer
13 years 10 months ago
2005
Springer
We extend classical first-order logic with subtyping by type predicates and type coercion. Type predicates assert that the value of a term belongs to a more special type than the ...