A Framework for the Integration of Partial Evaluation and Abstract Interpretation of Logic Programs
págs. 413-463
An Unfold/Fold Transformation Framework for Definite Logic Programs
págs. 464-509
Natural Semantics as a Static Program Analysis Framework
págs. 510-577
JR: Flexible Distributed Programming in an Extended Java
págs. 578-608
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: