Bokowski, Boris ;  Universität <Berlin, Freie Universität> / Fachbereich Mathematik und Informatik

Main titleCoffeeStrainer
Subtitlestatically checking structural constraints on Java programs
AuthorBokowski, Boris
InstitutionUniversität <Berlin, Freie Universität> / Fachbereich Mathematik und Informatik
No. of Pages12 S.
Series Freie Universität Berlin, Fachbereich Mathematik und Informatik : Ser. B, Informatik ; 98,14
Keywordsreflection and metaobject models, frameworks, software engineering practices
Classification (DDC)004 Data processing and Computer science
AbstractIt is generally desirable to detect program errors as early as possible during software development.
Statically typed languages allow many errors to be detected at compile-time. However, many errors that
could be detected statically cannot be expressed using today’s type systems. In this paper, we describe a
meta-programming framework for Java which allows for static checking of structural constraints. In
particular, we address how design principles and coding rules can be captured.
If your browser can't open the file, please download the file first and then open it
FU DepartmentDepartment of Mathematics and Computer Science
Other affiliation(s)Institut für Informatik
Year of publication1998
Type of documentWorking paper
Terms of use/Rights Nutzungsbedingungen
Created at2009-04-14 : 08:07:16
Last changed2015-02-27 : 08:24:56
Static URLhttp://edocs.fu-berlin.de/docs/receive/FUDOCS_document_000000001554