TY  - RPRT
A1  - Michel, Patrick
T1  - Redesign and Enhancement of the Katja System
N2  - 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.
T3  - Interner Bericht des Fachbereich Informatik - 353 
Y1  - 2006
UR  - https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/1795
UR  - https://nbn-resolving.org/urn:nbn:de:hbz:386-kluedo-14558
ER  -