Dokumentenserver der Freien Universität Berlin

Objekt-Metadaten

CoffeeStrainer
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.
Documents
PDF-Datei
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 documentMaps
LanguageEnglish
Terms of use/Rights Nutzungsbedingungen
Created at2009-04-14 : 08:07:16
Last changed2014-01-23 : 04:21:21
 
Static URLhttp://edocs.fu-berlin.de/docs/receive/FUDOCS_document_000000001554
Statistics