scientific article; zbMATH DE number 2038713

MaRDI QIDQ4449178zbMATH OpenFDO

Authors Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca

Publication date 8 February 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2719/27190224.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Mixin modules
• COMULTIPLICATION MODULES AND RELATED RESULTS
• Comultiplication modules
• Trustworthy Global Computing
• Experiments with mixed computations
• An algebraic approach to mixins and modularity
• Functional and Logic Programming
• Some results on comultiplication modules
• From partial evaluation to mixed computation

Cited in

(2)

• Types for Proofs and Programs
• An abstract monadic semantics for value recursion

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 Q4449178)