Theoretical Computer Science

DOI10.1007/B13810MaRDI QIDQ5897367zbMATH OpenOpenAlexFDO

Authors Davide Ancona, Sonia Fagorzi, Elena Zucca

Publication date 23 February 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b13810

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1538030
• scientific article; zbMATH DE number 1629943
• A calculus for dynamic reconfiguration with low priority linking
• A core calculus for dynamic delta-oriented programming
• Towards a calculus for dynamic architectures
• A lambda-calculus for dynamic binding
• A calculus for modeling software components.
• A flexible model for dynamic linking in Java and C\#

Cited in

(14)

• scientific article; zbMATH DE number 1630092 (Why is no real title available?)
• Implementation of Functional Languages
• scientific article; zbMATH DE number 1538030 (Why is no real title available?)
• Type-based hot swapping of running modules
• scientific article; zbMATH DE number 2087580 (Why is no real title available?)
• Programming Languages and Systems
• scientific article; zbMATH DE number 1746460 (Why is no real title available?)
• A calculus of evolving objects
• scientific article; zbMATH DE number 2163036 (Why is no real title available?)
• Data linkage dynamics with shedding
• scientific article; zbMATH DE number 1538035 (Why is no real title available?)
• A calculus for dynamic reconfiguration with low priority linking
• A calculus for reconfiguration (extended abstract)
• Foundations of Software Science and Computation Structures

This page was built for publication: Theoretical Computer Science

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