Dynamic composition of parameterised logic modules

DOI10.1016/S0096-0551(00)00006-0MaRDI QIDQ2713371zbMATH OpenFDO

Authors Antonio Brogi, Chiara Renso, Franco Turini

Publication date 27 November 2001

Published in Computer Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0096-0551(00)00006-0

zbMATH Keywords

logic-based programming language

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Programming by combining general logic programs
• Institutions for logic programming
• A semantics for modular general logic programs
• scientific article; zbMATH DE number 2237358
• scientific article; zbMATH DE number 4098708

Cited in

(6)

• Composing recursive logic programs with clausal join
• Parameterized Programming
• Enumeration operators and modular logic programming
• scientific article; zbMATH DE number 2090123 (Why is no real title available?)
• Parametric linear dynamic logic
• Parameterized programming for compositional system specification

This page was built for publication: Dynamic composition of parameterised logic modules

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