papers
Publications (6)
cs.LO2016
On the Completeness of Selective Unification in Concolic Testing of Logic Programs
Fred Mesnard, Etienne Payet, German Vidal
cs.LO2019
Introduction to the 35th International Conference on Logic Programming Special Issue
Esra Erdem, Andrea Formisano, German Vidal +1
The paper introduces the special issue of Theory and Practice of Logic Programming that collects the regular papers accepted for the 35th International Conference on Logic Programm…
#logic programming#conference proceedings#theory and practice of logic programming#iclp 2019
cs.PL2010
Proceedings of CICLOPS-WLPE 2010
German Vidal, Neng-Fa Zhou
cs.PL2004
Specialization of Functional Logic Programs Based on Needed Narrowing
Maria Alpuente, Michael Hanus, Salvador Lucas +1
cs.LO2018
Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis
Temesghen Kahsai, German Vidal
cs.PL2009
Improving Size-Change Analysis in Offline Partial Evaluation
Michael Leuschel, Salvador Tamarit, German Vidal