Safe Modification of Pointer Programs in Refinement Calculus

DOI10.1007/978-3-540-70594-9_16zbMath1156.68359OpenAlexW2137790177MaRDI QIDQ3521993

Susumu Nishimura

Publication date: 28 August 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-70594-9_16

Mathematics Subject Classification ID

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

Uses Software

• PVS

Cites Work

• A calculus of refinements for program derivations
• An algebraic treatment of procedure refinement to support mechanical verification
• Separation and information hiding
• Refinement Calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item