A calculus of open modules: call-by-need strategy and confluence

DOI10.1017/S0960129507006238zbMath1125.68040MaRDI QIDQ5756978

Elena Zucca, Sonia Fagorzi

Publication date: 6 September 2007

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (1)

A contract-based approach to adaptivity

Uses Software

• MOMI

Cites Work

• A syntactic theory of dynamic binding
• Lambda calculus with explicit recursion
• Skew confluence and the lambda calculus with letrec
• MOMI: a calculus for mobile mixins
• A theory of mixin modules: basic and derived operators
• The call-by-need lambda calculus

This page was built for publication: A calculus of open modules: call-by-need strategy and confluence