Modular Extensions for Modular (Logic) Languages

DOI10.1007/978-3-642-32211-2_10zbMATH Open1377.68058OpenAlexW1816205072MaRDI QIDQ4909320FDOQ4909320

Rémy Haemmerlé, J. F. Morales, Manuel Hermenegildo

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)

Cited In (2)

• Modular programming languages. Joint modular languages conference, JMLC 2003, Klagenfurt, Austria, August 25--27, 2003. Proceedings.
• Algebraic Methodology and Software Technology

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4909320)