scientific article; zbMATH DE number 1487496

zbMATH Open0953.68081MaRDI QIDQ4493905FDOQ4493905

Ana Cavalcanti, David A. Naumann

Publication date: 1999

Title of this publication is not available (Why is that?)

zbMATH Keywords

object-oriented language

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited In (9)

• Soundness of data refinement for a higher-order imperative language
• Refinement and verification in component-based model-driven design
• Weakest relative precondition semantics. Balancing approved theory and realistic translation verification
• Graph transformations for object-oriented refinement
• Sound refactorings
• Weakest pre-condition reasoning for Java programs with JML annotations
• rCOS: a refinement calculus of object systems
• A weakest precondition semantics for communicating processes
• Using CafeOBJ to mechanise refactoring proofs and application

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