In this paper we describe a language extension that adds dimension analysis to Java. Dimension analysis can be used to check that values that represent physical measurements such as length and mass are not used inconsistently. What distinguishes this work from previous work that adds dimension analysis to programming languages is that here the extension is implemented as a composable language extension. This means that it can easily be combined with other extensions, possibly developed by other parties, to create an extended implementation of Java with new features that address concerns from several different domains.
|Original language||English (US)|
|Title of host publication||Generative and Transformational Techniques in Software Engineering II - International Summer School, GTTSE 2007, Revised Papers|
|Number of pages||15|
|ISBN (Print)||3540886427, 9783540886426|
|State||Published - 2008|
|Event||International Summer School on Generative and Transformational Techniques in Software Engineering II, GTTSE 2007 - Braga, Portugal|
Duration: Jul 2 2007 → Jul 7 2007
|Name||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
|Other||International Summer School on Generative and Transformational Techniques in Software Engineering II, GTTSE 2007|
|Period||7/2/07 → 7/7/07|
Bibliographical noteFunding Information:
This work is partially funded by NSF CAREER Award #0347860, NSF CCF Award #0429640, and the McKnight Foundation.