A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2004 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 1000002626 |
| Erschienen in | Proceedings of the Workshop Compiler Optimization meets Compiler Verification (COCV 2004), 7th European Conferences on Theory and Practice of Software (ETAPS 2004) |
| Verlag | Elsevier |
| Seiten | ? |