Modular extensions for modular (logic) languages

DOI10.1007/978-3-642-32211-2_10MaRDI QIDQ4909320zbMATH OpenOpenAlexFDO

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/

zbMATH Keywords

Ciaocompilationdomain specific languageslanguage extensionsmodular program processingmodulesPrologseparate compilation

Mathematics Subject Classification ID

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

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

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)