Adding dimension analysis to java as a composable language extension

Eric Van Wyk; Yogesh Mali

doi:10.1007/978-3-540-88643-3_12

Adding dimension analysis to java as a composable language extension

Eric Van Wyk, Yogesh Mali

Computer Science and Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Scopus citations

Abstract

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
Publisher	Springer Verlag
Pages	442-456
Number of pages	15
ISBN (Print)	3540886427, 9783540886426
DOIs	https://doi.org/10.1007/978-3-540-88643-3_12
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

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5235 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	International Summer School on Generative and Transformational Techniques in Software Engineering II, GTTSE 2007
Country/Territory	Portugal
City	Braga
Period	7/2/07 → 7/7/07

Bibliographical note

Funding Information:
This work is partially funded by NSF CAREER Award #0347860, NSF CCF Award #0429640, and the McKnight Foundation.

Access

10.1007/978-3-540-88643-3_12

OpenUrl availability

Full text

Cite this

Van Wyk, E., & Mali, Y. (2008). Adding dimension analysis to java as a composable language extension. In Generative and Transformational Techniques in Software Engineering II - International Summer School, GTTSE 2007, Revised Papers (pp. 442-456). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5235 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-540-88643-3_12

Adding dimension analysis to java as a composable language extension. / Van Wyk, Eric; Mali, Yogesh.
Generative and Transformational Techniques in Software Engineering II - International Summer School, GTTSE 2007, Revised Papers. Springer Verlag, 2008. p. 442-456 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5235 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Van Wyk, E & Mali, Y 2008, Adding dimension analysis to java as a composable language extension. in Generative and Transformational Techniques in Software Engineering II - International Summer School, GTTSE 2007, Revised Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5235 LNCS, Springer Verlag, pp. 442-456, International Summer School on Generative and Transformational Techniques in Software Engineering II, GTTSE 2007, Braga, Portugal, 7/2/07. https://doi.org/10.1007/978-3-540-88643-3_12

Van Wyk E, Mali Y. Adding dimension analysis to java as a composable language extension. In Generative and Transformational Techniques in Software Engineering II - International Summer School, GTTSE 2007, Revised Papers. Springer Verlag. 2008. p. 442-456. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-88643-3_12

Van Wyk, Eric ; Mali, Yogesh. / Adding dimension analysis to java as a composable language extension. Generative and Transformational Techniques in Software Engineering II - International Summer School, GTTSE 2007, Revised Papers. Springer Verlag, 2008. pp. 442-456 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{2385d024ef5f459f96216041e4237f7d,

title = "Adding dimension analysis to java as a composable language extension",

abstract = "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.",

author = "{Van Wyk}, Eric and Yogesh Mali",

note = "Funding Information: This work is partially funded by NSF CAREER Award #0347860, NSF CCF Award #0429640, and the McKnight Foundation.; International Summer School on Generative and Transformational Techniques in Software Engineering II, GTTSE 2007 ; Conference date: 02-07-2007 Through 07-07-2007",

year = "2008",

doi = "10.1007/978-3-540-88643-3_12",

language = "English (US)",

isbn = "3540886427",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "442--456",

booktitle = "Generative and Transformational Techniques in Software Engineering II - International Summer School, GTTSE 2007, Revised Papers",

}

TY - GEN

T1 - Adding dimension analysis to java as a composable language extension

AU - Van Wyk, Eric

AU - Mali, Yogesh

N1 - Funding Information: This work is partially funded by NSF CAREER Award #0347860, NSF CCF Award #0429640, and the McKnight Foundation.

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=57049159809&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=57049159809&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-88643-3_12

DO - 10.1007/978-3-540-88643-3_12

M3 - Conference contribution

AN - SCOPUS:57049159809

SN - 3540886427

SN - 9783540886426

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 442

EP - 456

BT - Generative and Transformational Techniques in Software Engineering II - International Summer School, GTTSE 2007, Revised Papers

PB - Springer Verlag

T2 - International Summer School on Generative and Transformational Techniques in Software Engineering II, GTTSE 2007

Y2 - 2 July 2007 through 7 July 2007

ER -

Adding dimension analysis to java as a composable language extension

Abstract

Publication series

Other

Bibliographical note

Access

OpenUrl availability

Other files and links

Fingerprint

Cite this