Correct hardware synthesis
From MaRDI portal
Publication:766178
DOI10.1007/s00236-011-0142-yzbMath1234.68067OpenAlexW2023293472MaRDI QIDQ766178
Augusto Sampaio, Juliano Iyoda, J. C. P. Woodcock, Juan I. Perna
Publication date: 23 March 2012
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-011-0142-y
Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An algebraic approach to the design of compilers for object-oriented languages
- A demonstrably correct compiler
- Compiler specification and verification
- Normal form approach to compiler design
- Verified bytecode verifiers.
- A constructive approach to hardware/software partitioning
- The laws of Occam programming
- An Algebraic Approach to Compiler Design
- A Theory of Pointers for the UTP
- Formal Methods at the Crossroads. From Panacea to Foundational Support
This page was built for publication: Correct hardware synthesis