A calculus of evolving objects

MaRDI QIDQ4621132zbMATH OpenFDO

Authors Mariangiola Dezani-Ciancaglini, Paola Giannini, Oscar Nierstrasz

Publication date 8 February 2019

zbMATH Keywords

dynamic programmingevolving objectsfirst-class mappinglambda-calculustype system

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 2089396
• Theoretical Computer Science
• Dynamic Access Control in a Concurrent Object Calculus
• A lambda-calculus for dynamic binding
• A calculus of program adaption and its applications

Cited in

(1)

• scientific article; zbMATH DE number 2089396 (Why is no real title available?)

This page was built for publication: A calculus of evolving objects

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