Redesign and Enhancement of the Katja System
- Katja is a tool generating order-sorted recursive data types as well as position types for Java, from specifications using an enhanced ML like notation. Katja’s main features are its conciseness of specifications, the rich interface provided by the generated code and the Java atypical immutability of types. After several stages of extending and maintaining the Katja project, it became apparent many changes had to be done. The original design of Katja wasn’t prepared for the introduction of several backends, the introduction of position sorts and constant feature enhancements and bug fixes. By supplying this report Katja reaches release status for the first time.
Author: | Patrick Michel |
---|---|
URN: | urn:nbn:de:hbz:386-kluedo-14558 |
Series (Serial Number): | Interner Bericht des Fachbereich Informatik (353) |
Document Type: | Report |
Language of publication: | English |
Year of Completion: | 2006 |
Year of first Publication: | 2006 |
Publishing Institution: | Technische Universität Kaiserslautern |
Date of the Publication (Server): | 2006/10/31 |
Faculties / Organisational entities: | Kaiserslautern - Fachbereich Informatik |
DDC-Cassification: | 0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik |
Licence (German): | Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011 |