Adding Dimension Analysis to Java as a Composable Language Extension

Authors:
Eric Wyk;Yogesh Mali
Affiliations:
Department of Computer Science and Engineering, University of Minnesota, Minneapolis, USA MN 55455;Department of Computer Science and Engineering, University of Minnesota, Minneapolis, USA MN 55455
Venue:
Generative and Transformational Techniques in Software Engineering II
Year:
2007

Citing 14
Cited 0

A proposal for an extended form of type checking of expressions

The Computer Journal
Higher order attribute grammars

PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Composable attribute grammars: support for modularity in translator design and implementation

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modular grammars for programming language prototyping

Modular grammars for programming language prototyping
Modularity and reusability in attribute grammars

Acta Informatica
A Java extension with support for dimensions

Software—Practice & Experience
Dimension Types

ESOP '94 Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems
Forwarding in Attribute Grammars for Modular Language Design

CC '02 Proceedings of the 11th International Conference on Compiler Construction
Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Object-oriented units of measurement

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Remote attribute grammars

Journal of the ACM (JACM)
Context-aware scanning for parsing extensible languages

GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
The jastadd extensible java compiler

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Attribute grammar-based language extensions for java

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

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