KIT | KIT-Bibliothek | Impressum
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-35163

Taclets vs. rewriting logic - relating semantics of Java

Sasse, Ralf



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Forschungsbericht
Jahr 2005
Sprache Englisch
Identifikator ISSN: 1432-7864
URN: urn:nbn:de:swb:90-35163
KITopen ID: 1000003516
Verlag Karlsruhe
Serie Interner Bericht. Fakultät für Informatik, Universität Karlsruhe ; 2005,16
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page