Travelled to:1 × France
1 × USA
Collaborated with:∅
Talks about:program (4) constraint (1) properti (1) resolut (1) equival (1) develop (1) integr (1) prove (1) logic (1) check (1)
Person: Jonathan M. Lever
DBLP: Lever:Jonathan_M=
Contributed to:
19941991
1991Wrote 3 papers:
- ILPS-1994-Lever #constraints #logic programming
- Constraint Logic Programming for Planning (JML), p. 679.
- ICLP-1991-Lever #proving
- Proving Program Properties by Means of SLS-Resolution (JML), pp. 614–628.
- LOPSTR-1991-Lever #development #equivalence
- Program Equivalence, Program Development and Integrity Checking (JML), pp. 1–12.