Export: A Practical Type Analysis for Verification of Modular Prolog Programs
Pietrzak, Pawel and Correas Fernandez, Jesús and Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. (2008). A Practical Type Analysis for Verification of Modular Prolog Programs. In: "ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation , PEPM'08", 07/01/2008-08/01/2008, San Francisco, USA. ISBN 978-1-59593-977-7.
Please select an output format:
