scientific article

zbMath1270.68075MaRDI QIDQ2842861

Alvaro E. Arenas

Publication date: 16 August 2013

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Normal form approach to compiler design
• Recursion induction for real-time processes
• A formal model of real-time program compilation

This page was built for publication: