scientific article; zbMATH DE number 2089396

MaRDI QIDQ3046757zbMATH OpenFDO

Authors Matthias Zenger

Publication date 12 August 2004

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• Programming Languages and Systems
• A calculus of evolving objects
• scientific article; zbMATH DE number 7454918
• A Model of Component-Based Programming
• scientific article; zbMATH DE number 1947732

Cited in

(12)

• A type system for counting instances of software components
• A calculus for reasoning about software composition
• A form-based meta-model for software composition
• scientific article; zbMATH DE number 1629952 (Why is no real title available?)
• Aspect-oriented development of trustworthy component-based systems
• A sound type system for layer subtyping and dynamically activated first-class layers
• A Model of Component-Based Programming
• scientific article; zbMATH DE number 2080762 (Why is no real title available?)
• A calculus of evolving objects
• Programming Languages and Systems
• An algebraic foundation for automatic feature-based program synthesis
• An update calculus for expressing type-safe program updates

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