Amanote Research
Register
Sign In
A Practical Type Analysis for Verification of Modular Prolog Programs
doi 10.1145/1328408.1328418
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2008
Authors
Pawel S. Pietrzak
Jesús Correas Fernández
Germán Puebla
Manuel V. Hermenegildo
Publisher
ACM Press