Justifying proofs using memo tables

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Justifying proofs using memo tables

Source

International Conference on Principles and Practice of Declarative Programming archive
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming table of contents

Montreal, Quebec, Canada

Pages: 178 - 189

Year of Publication: 2000

ISBN:1-58113-265-4

Authors

Abhik Roychoudhury
C. R. Ramakrishnan
I. V. Ramakrishnan

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 6

Additional Information:

cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/351268.351290 What is a DOI?

CITED BY 6

	R. Sekar , C. R. Ramakrishnan , I. V. Ramakrishnan , S. A. Smolka, Model-Carrying Code (MCC): a new paradigm for mobile-code security, Proceedings of the 2001 workshop on New security paradigms, September 10-13, 2001, Cloudcroft, New Mexico
	Omar El-Khatib , Enrico Pontelli , Tran Cao Son, Justification and debugging of answer set programs in ASP, Proceedings of the sixth international symposium on Automated analysis-driven debugging, p.49-58, September 19-21, 2005, Monterey, California, USA
	R. Janvier , Y. Lakhnech , M. Périn, Certifying cryptographic protocols by abstract model-checking and proof concretization, ACM SIGBED Review, v.3 n.4, p.37-57, October 2006
	C. r. Ramakrishnan , I. v. Ramakrishnan , David s. Warren, Xcellog: A deductive spreadsheet system, The Knowledge Engineering Review, v.22 n.3, p.269-279, September 2007
	Enrico Pontelli , Tran cao Son , Omar Elkhatib, Justifications for logic programs under answer set semantics, Theory and Practice of Logic Programming, v.9 n.1, p.1-56, January 2009
	Martin Gebser , Jörg Pührer , Torsten Schaub , Hans Tompits, A meta-programming technique for debugging answer-set programs, Proceedings of the 23rd national conference on Artificial intelligence, p.448-453, July 13-17, 2008, Chicago, Illinois