scientific article; zbMATH DE number 1140687

zbMATH Open0893.68096MaRDI QIDQ4385456FDOQ4385456

Authors: Naji Habra, Baudouin Le Charlier 

Publication date: 27 May 1998

Title of this publication is not available (Why is that?)

Recommendations

• Integration of declarative and constraint programming
• Modelling the combination of functional and logic programming languages
• Mechanising a Unifying Theory
• A Module-Based Framework for Multi-language Constraint Modeling
• scientific article; zbMATH DE number 5942124

zbMATH Keywords

programs integrating modules

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited In (2)

• Synthesizing different development paradigms: combining top-down with bottom-up reasoning about distributed systems
• Program composition via unification

This page was built for publication:

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