dc.contributor.author
Bokowski, Boris
dc.date.accessioned
2018-06-08T07:41:49Z
dc.date.available
2009-04-14T08:07:16.230Z
dc.identifier.uri
https://refubium.fu-berlin.de/handle/fub188/18512
dc.identifier.uri
http://dx.doi.org/10.17169/refubium-22208
dc.description.abstract
It 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.
de
dc.relation.ispartofseries
urn:nbn:de:kobv:188-fudocsseries000000000021-2
dc.rights.uri
http://www.fu-berlin.de/sites/refubium/rechtliches/Nutzungsbedingungen
dc.subject
reflection and metaobject models
dc.subject
software engineering practices
dc.subject.ddc
000 Informatik, Informationswissenschaft, allgemeine Werke::000 Informatik, Wissen, Systeme::004 Datenverarbeitung; Informatik
dc.title.subtitle
statically checking structural constraints on Java programs
refubium.affiliation
Mathematik und Informatik
de
refubium.affiliation.other
Institut für Informatik
refubium.mycore.fudocsId
FUDOCS_document_000000001554
refubium.resourceType.isindependentpub
no
refubium.series.name
Freie Universität Berlin, Fachbereich Mathematik und Informatik
refubium.series.reportNumber
98-14
refubium.mycore.derivateId
FUDOCS_derivate_000000000338
dcterms.accessRights.openaire
open access
