An algebraic approach for compiling real-time programs

MaRDI QIDQ2842861zbMATH OpenFDO

Authors Alvaro E. Arenas

Publication date 16 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104805176

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• Towards an algebra for real-time programs
• An algebraic framework for developing and maintaining real-time systems
• A formal model of real-time program compilation
• A theory for execution-time derivation in real-time programs
• An algebraic approach to compiler design
• scientific article; zbMATH DE number 1760149

Cites work

• A formal model of real-time program compilation
• Normal form approach to compiler design
• Recursion induction for real-time processes
• Unifying theories for logic programming

Cited in

(6)

• Modular compiler verification. A refinement-algebraic approach advocating stepwise abstraction
• An algebraic framework for developing and maintaining real-time systems
• Using program transformations to provide safety properties for real-time systems
• scientific article; zbMATH DE number 778419 (Why is no real title available?)
• A formal model of real-time program compilation
• Compiling and verifying SC-SystemJ programs for safety-critical reactive systems

This page was built for publication: An algebraic approach for compiling real-time programs

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