Publication:4809043
From MaRDI portal
zbMath1072.68593MaRDI QIDQ4809043
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2392/23920063.htm
68N20: Theory of compilers and interpreters
Related Items
A mechanical analysis of program verification strategies, Verified bytecode verification and type-certifying compilation, Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts, Formal Certification of a Resource-Aware Language Implementation, Automatic Parallelization and Optimization of Programs by Proof Rewriting
Uses Software