Verifying correctness of logic programs-Reference-Cited by-同舟云学术

Verifying correctness of logic programs

Published:1989 Issue: Volume: Page:96-110
ISSN:0302-9743
Container-title:TAPSOFT '89
language:
Short-container-title:

Author:

Bossi A.,Cocco N.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-50940-2_30.pdf

Reference19 articles.

1. K.R. Apt, M.H. van Emden, Contributions to the theory of Logic Programming, JACM 29, N.23 (1982) pp. 841–862.

2. K. Balogh, On an Interactive Program Verifier for Prolog Programs, Colloquia Mathematica Societatis J. Bolyai 26 — Mathematical Logic in Computer Science — Hungary (1978).

3. A. Bossi, N. Cocco, S. Dulli, A Method for Specializing Logic Programs, (1987) submitted for pubblication.

4. A. Bossi, N. Cocco, On the correctness of Logic Programs, Rapporto Interno del Dip. Matematica Pura ed Applicata, Università di Padova (1988).

5. R. M. Burstall, J. Darlington, A Transformation System for developing Recursive Programs, JACM 24, N.1 (1977) pp. 44–67.

Cited by 24 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On Correctness and Completeness of an n Queens Program;Theory and Practice of Logic Programming;2021-10-14

2. A simple correctness proof for magic transformation;Theory and Practice of Logic Programming;2011-03-04

3. On the verification of finite failure;Journal of Computer and System Sciences;2005-11

4. Abstract interpretation based verification of logic programs;Science of Computer Programming;2003-12

5. The Declarative Side of Magic;Computational Logic: Logic Programming and Beyond;2002