Hume box calculus: Robust system development through software transformation

DOI10.1007/S10990-011-9067-YMaRDI QIDQ656858zbMATH OpenOpenAlexFDO

Authors Gudmund Grov, Greg Michaelson

Publication date 13 January 2012

Published in Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10990-011-9067-y

zbMATH Keywords

program transformationbox calculushume

Mathematics Subject Classification ID

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

Recommendations

• Reasoning about resources in the embedded systems language Hume
• Trapping mutual exclusion in the box calculus
• scientific article; zbMATH DE number 3872648
• On transformations of concurrent-object programs
• A calculus of program adaption and its applications

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 46740 (Why is no real title available?)
• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• scientific article; zbMATH DE number 977284 (Why is no real title available?)
• scientific article; zbMATH DE number 1929900 (Why is no real title available?)
• A Transformation System for Developing Recursive Programs
• A brief history of process algebra
• A survey of strategies in rule-based program transformation systems
• Algorithm + strategy = parallelism
• CSP theorems for communicating B machines
• Discovering applications of higher order functions through proof planning
• General parameterised refinement and recursion for the M-net calculus
• NESTED ALGORITHMIC SKELETONS FROM HIGHER ORDER FUNCTIONS
• TOWARDS PARALLEL PROGRAMMING BY TRANSFORMATION: THE FAN SKELETON FRAMEWORK*
• The existence of refinement mappings

Describes a project that uses

Uses Software

• Hume
• Eden

This page was built for publication: Hume box calculus: Robust system development through software transformation

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