Specification of logic programming languages from reusable semantic building blocks

DOI10.1016/S1571-0661(04)80352-9MaRDI QIDQ2841297zbMATH OpenOpenAlexWikidataFDO

Authors J. E. Labra Gayo, J. M. Cueva Lovelle, M. C. Luengo Díez, A. Cernuda Del Río

Publication date 24 July 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s1571-0661(04)80352-9

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 2000442
• Modular development of interpreters from semantic building blocks
• Algebraic Methodology and Software Technology
• scientific article; zbMATH DE number 3936497
• scientific article; zbMATH DE number 3942988

Cites work

• Comprehending monads
• Deriving backtracking monad transformers
• scientific article; zbMATH DE number 3581590 (Why is no real title available?)
• scientific article; zbMATH DE number 1241701 (Why is no real title available?)
• scientific article; zbMATH DE number 2000442 (Why is no real title available?)
• Modular development of interpreters from semantic building blocks
• Polytypic unification

Cited in

(2)

• Modular development of interpreters from semantic building blocks
• scientific article; zbMATH DE number 2000442 (Why is no real title available?)

This page was built for publication: Specification of logic programming languages from reusable semantic building blocks

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