A calculus of evolving objects

zbMATH Open1424.68038MaRDI QIDQ4621132FDOQ4621132

Mariangiola Dezani-Ciancaglini, Paola Giannini, Oscar Nierstrasz

Publication date: 8 February 2019

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

zbMATH Keywords

dynamic programminglambda-calculustype systemevolving objectsfirst-class mapping

Mathematics Subject Classification ID

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

Cited In (1)

• Title not available (Why is that?)

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)