FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Isabel Garcia-Contreras
Organization: IMDEA Software Institute and Universidad Politecnica de Madrid
Web page: https://software.imdea.org/people/isabel.garcia/index.html
Pages in this Program
All Proceedings Papers
ICLP on Tuesday, July 17th
ICLP Proceedings of ICLP 2018
ICLP Proceedings of ICLP 2018: Papers with Abstracts
ICLP Program
Paper: Towards Incremental and Modular Context-sensitive Analysis
Program
Program for Tuesday, July 17th