Modular Extensions for Modular (Logic) Languages

DOI10.1007/978-3-642-32211-2_10zbMath1377.68058OpenAlexW1816205072MaRDI QIDQ4909320

Rémy Haemmerlé, Manuel V. Hermenegildo, Jose Francisco Morales

Publication date: 13 March 2013

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: http://oa.upm.es/13768/

zbMATH Keywords

modulescompilationProloglanguage extensionsdomain specific languagesseparate compilationmodular program processingCiao

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

This page was built for publication: Modular Extensions for Modular (Logic) Languages