Author:
Drabent Włodzimierz,Małuszyński Jan
Subject
General Computer Science,Theoretical Computer Science
Reference20 articles.
1. Contributions to the theory of logic programming;Apt;J. ACM,1982
2. Abstract interpretation: towards the global optimization of Prolog programs;Bruynooghe,1987
3. Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming;Courcelle;Inform. and Comput.,1988
4. Automatic mode inference for Prolog programs;Debray,1986
Cited by
52 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Implementing Backjumping by Means of Exception Handling;Theory and Practice of Logic Programming;2023-07
2. S-Semantics–an Example;Logic-Based Program Synthesis and Transformation;2022
3. The Prolog Debugger and Declarative Programming;Logic-Based Program Synthesis and Transformation;2020
4. Proving completeness of logic programs with the cut;Formal Aspects of Computing;2017-01
5. Correctness and Completeness of Logic Programs;ACM Transactions on Computational Logic;2016-07-22