4 papers:
ICLP-J-2013-CostaV #named- BigYAP: Exo-compilation meets UDI (VSC, DV), pp. 799–813.
- ICLP-2007-SilvaC #compilation #design #evaluation #framework #implementation
- Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System (AFdS, VSC), pp. 410–424.
- ICLP-2007-VazFL #information management #named
- Spatial-Yap: A Logic-Based Geographic Information System (DV, MF, RL), pp. 195–208.
- ICLP-2006-SilvaC #compilation #design #implementation #logic programming #optimisation #programming language
- The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages (AFdS, VSC), pp. 461–462.
