The Verifying Compiler: A Grand Challenge for Computing Research
No abstract available.
DOI 10.1007/3-540-36579-6_19
Related papers
- The Verifying Compiler, a Grand Challenge for Computing Research VMCAI 2005
- Roadmap for enhanced languages and methods to aid verification GPCE 2006
- A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal VMCAI 2004
- Gleipnir: toward practical error analysis for Quantum programs PLDI 2021
- Reducing trace selection footprint for large-scale Java applications without performance loss OOPSLA 2011
- A world of active objects for work and play: the first ten years of lively Onward! 2016
- Object Technology - A Grand Narrative? ECOOP 2006
- Intimate Computing and the Memory Prothesis: A Challenge for Computer Systems Research? (Abstract) ECOOP 1993