Navigation/Menü: Links auf weitere Seiten dieser Website
Objekt-Metadaten
| CoffeeStrainer Bokowski, Boris |
| Haupttitel | CoffeeStrainer |
| Titelzusatz | statically checking structural constraints on Java programs |
| Autor | Bokowski, Boris |
| Seitenzahl | 12 S. |
| Schriftenreihe | Freie Universität Berlin, Fachbereich Mathematik und Informatik : Ser. B, Informatik ; 98,14 |
| Fachbereich/Einrichtung | FB Mathematik und Informatik |
| Arbeitsbereich/Institut | Institut für Informatik |
| Erscheinungsjahr | 1998 |
| Dokumente | PDF-Datei
Falls Ihr Browser eine Datei nicht öffnen kann, die Datei zuerst herunterladen und dann öffnen.
|
| Freie Schlagwörter | reflection and metaobject models, frameworks, software engineering practices |
| DDC | 004 Datenverarbeitung; Informatik |
| Dokumententyp/-Sammlungen | Report |
| Medientyp/Format | Text |
| 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. |
| Sprache | Englisch |
| Rechte | Nutzungsbedingungen |
| Zugriffstatistik | |
| Statische URL | http://edocs.fu-berlin.de/docs/receive/FUDOCS_document_000000001554 |
| Erstellt am | 14.04.2009 - 10:07:16 |
| Letzte Änderung | 04.04.2013 - 09:33:26 |
