A Framework for the Integration of Partial Evaluation and Abstract Interpretation of Logic Programs

• Localización: ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 26, Nº 3, 2004, págs. 413-463
• Idioma: inglés
• Texto completo no disponible (Saber más ...)