• search hit 16 of 33
Back to Result List

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.

Download full text files

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Author:Patrick Michel
URN (permanent link):urn:nbn:de:hbz:386-kluedo-14558
Serie (Series number):Interner Bericht des Fachbereich Informatik (353)
Document Type:Report
Language of publication:English
Year of Completion:2006
Year of Publication:2006
Publishing Institute:Technische Universität Kaiserslautern
Date of the Publication (Server):2006/10/31
Faculties / Organisational entities:Fachbereich Informatik
DDC-Cassification:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Licence (German):Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011