ACM Home Page
Please provide us with feedback. 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
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 Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/351268.351290
What is a DOI?


Collaborative Colleagues:
Abhik Roychoudhury: colleagues
C. R. Ramakrishnan: colleagues
I. V. Ramakrishnan: colleagues