Practical construction of correct compiler implementations by runtime result verification
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 2000 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 33662000 |
| Erscheinungsvermerk | In: Conference proceedings of the International Conference on Information Systems Analysis and Synthesis, SCI 2000, Orlando, FL 2000. S. 200-210. |