Modular extensions for modular (logic) languages

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

Authors: Manuel Hermenegildo, Rémy Haemmerlé, J. F. 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/

Recommendations

• A calculus for the construction of modular prolog programs
• scientific article; zbMATH DE number 1696792
• scientific article; zbMATH DE number 1497834
• Modules for Prolog Revisited
• A semantics for modular general logic programs

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)