id,collection,dc.contributor.author,dc.date.accessioned,dc.date.available,dc.date.issued,dc.description.abstract[de],dc.format.extent,dc.identifier.uri,dc.language,dc.relation.ispartofseries,dc.rights.uri,dc.subject,dc.subject.ddc,dc.title,dc.title.subtitle,dc.type,dcterms.accessRights.openaire,refubium.affiliation.other,refubium.affiliation[de],refubium.mycore.derivateId,refubium.mycore.fudocsId,refubium.resourceType.isindependentpub,refubium.series.name,refubium.series.reportNumber "8d1c7587-43aa-4692-8338-f9e6cae6997f","fub188/17746","Bokowski, Boris","2018-06-08T07:41:49Z","2009-04-14T08:07:16.230Z","1998","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.","12 S.","https://refubium.fu-berlin.de/handle/fub188/18512||http://dx.doi.org/10.17169/refubium-22208","eng","urn:nbn:de:kobv:188-fudocsseries000000000021-2","http://www.fu-berlin.de/sites/refubium/rechtliches/Nutzungsbedingungen","reflection and metaobject models||frameworks||software engineering practices","000 Informatik, Informationswissenschaft, allgemeine Werke::000 Informatik, Wissen, Systeme::004 Datenverarbeitung; Informatik","CoffeeStrainer","statically checking structural constraints on Java programs","Arbeitspapier","open access","Institut für Informatik:::6dd1f8be-8a6d-4a4a-8f8d-572eb83788da:::600","Mathematik und Informatik","FUDOCS_derivate_000000000338","FUDOCS_document_000000001554","no","Freie Universität Berlin, Fachbereich Mathematik und Informatik","98-14"