Compiling logics

DOI10.1007/978-3-642-37635-1_7MaRDI QIDQ2848875zbMATH OpenOpenAlexFDO

Authors Mihai Codescu, Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe

Publication date 13 September 2013

Published in Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-37635-1_7

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Declarative compilation for constraint logic programming
• Towards logical frameworks in the heterogeneous tool set Hets
• scientific article; zbMATH DE number 1420805
• From relational specifications to logic programs
• Logic programming in tabular allegories

Cited in

(2)

• An institution for Object-Z with inheritance and polymorphism
• Importing logics

This page was built for publication: Compiling logics

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