Found 7 Documents (Results 1–7)
“A la Burstall” intermittent assertions induction principles for proving inevitability properties of programs. (English) Zbl 0788.68094
Reviewer: D.Tătar (Cluj)
MSC:
68Q60
The poset of infinitary traces. (English) Zbl 0787.68056
Reviewer: R.Janicki (Hamilton / Ontario)
A class of programs for which \(SLDNF\) resolution and \(NAF\) rule are complete. (English) Zbl 0796.68052
Reviewer: C.Masalagiu (Iaşi)
On the status of proving program properties in effective interpretations. (English) Zbl 0809.68086
Reviewer: G.Ciobanu (Iaşi)
Legality concepts for three-valued logic programs. (English) Zbl 0788.68136
Reviewer: S.Gottwald (Leipzig)
Equality and abductive residua for Horn clauses. (English) Zbl 0788.68133
Reviewer: R.Horsch (Markdorf)
MSC:
68T27
68T15
Filter Results by …
all
top 5
Author
- Baratella, Stefano (1)
- Cousot, Patrick (1)
- Cousot, Radhia (1)
- Cox, Philip T. (1)
- Gastin, Paul (1)
- Grabowski, Michał (1)
- Knill, Emanuel (1)
- Nota, G. (1)
- Orefice, Sergio (1)
- Pacini, Giuliano (1)
- Pietrzykowski, Tomasz (1)
- Rozoy, Brigitte (1)
- Ruggiero, Fabio (1)
- Tortora, Genoveffa (1)
- Zhang, Wenhui (1)