The search result changed since you submitted your search request. Documents might be displayed in a different sort order.
  • search hit 18 of 139
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

Search Google Scholar
Metadaten
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