scientific article; zbMATH DE number 1512629

zbMATH Open0961.68033MaRDI QIDQ4508314FDOQ4508314

Authors: Hongseok Yang, Uday S. Reddy 

Publication date: 3 October 2000

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

Recommendations

• A calculus of refinements for program derivations
• scientific article; zbMATH DE number 1086636
• A theoretical basis for stepwise refinement and the programming calculus
• A refinement calculus for logic programs
• Refinement Calculus

zbMATH Keywords

imperative programsrefinement calculi

Mathematics Subject Classification ID

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

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Soundness of data refinement for a higher-order imperative language
• Exits in the refinement calculus
• The least conjunctive refinement and promotion in the refinement calculus
• Refinement
• A theoretical basis for stepwise refinement and the programming calculus
• General parameterised refinement and recursion for the M-net calculus

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