Object-oriented units of measurement

Allen, Eric E.; Chase, David; Luchangco, Victor; Maessen, Jan-Willem; Steele, Guy L.

doi:10.1145/1028976.1029008

Cited by 34 publications

(18 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This is to be expected, as the implementation is unoptimised and not implemented for speed. Other work has judged that there are several optimisations that can be performed on a run-time system that would significantly reduce the performance hit (Allen et al 2004).…”

Section: Discussionmentioning

confidence: 99%

“…Numerous dimensional analysis systems have been proposed over many years, including systems for Ada (Gehani 1985;Hilfinger 1988;Rogers 1988;Gonzalez and Peart 1993), Pascal (Gehani 1977;Agrawal and Garg 1984;Dreiheller et al 1986;Baldwin 1987), C++ (Cmelik and Gehani 1988;Umrigar 1994), and Java (Allen et al 2004), proposed regularly since 1977. However, dimensional analysis has still not become a common feature of mainstream languages (although there is a new specification for a future version of Java that specifies a package for dimensioned data classes (Dautelle and Keil 2008)).…”

Section: Dimensional Analysismentioning

confidence: 99%

“…There are numerous examples (Hilfinger 1988;Rogers 1988;Gonzalez and Peart 1993;Agrawal and Garg 1984;Cmelik and Gehani 1988;Umrigar 1994;Allen et al 2004). These methods may involve only compile time checking, entirely run time checking or a mixture of both.…”

Section: Object Oriented (Oo)mentioning

confidence: 99%

See 2 more Smart Citations

A pragmatic approach to dimensional analysis for mobile robotic programming

Biggs

MacDonald

2008

Auton Robot

View full text Add to dashboard Cite

An application-specific approach to the design of a robot programming language may allow for a language better suited to the unique challenges found when programming in this domain. One area of robotics programming that can be supported by an application-specific approach is dimensioned data. Robot programs typically manage a substantial amount of dimensioned data. However, existing robot programming tools do not directly support the description and manipulation of dimensioned quantities. A new system is presented for managing dimensioned data in robot software. The design provides a new primitive data type to support dimensioned data. Its unique syntax improves program readability and writability. Dimensional consistency is automatically checked by the system and any errors are reported, significantly easing the debugging of dimensioned data and improving the reliability of robot software. The data type is evaluated by common criteria for evaluating programming languages and a small user study, and is found to be an improvement.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Dimensional Analysismentioning

confidence: 99%

See 1 more Smart Citation

A pragmatic approach to dimensional analysis for mobile robotic programming

Biggs

MacDonald

2008

Auton Robot

View full text Add to dashboard Cite

show abstract

“…Also like abstract types, units are poorly supported by existing languages, and can be inferred from a program's operations. "Unit types" [16,3] might be considered a variant of abstract type, but they have an additional algebraic structure not present in the abstract type systems considered so far. For instance, the unit type of the product of two quantities does not have the unit type of either factor; instead, it has a product unit type.…”

Section: Units Analysismentioning

confidence: 99%

Dynamic inference of abstract types

Guo

Perkins

McCamant

et al. 2006

Proceedings of the 2006 International Symposium on Software Testing and Analysis

View full text Add to dashboard Cite

An abstract type groups variables that are used for related purposes in a program. We describe a dynamic unification-based analysis for inferring abstract types. Initially, each run-time value gets a unique abstract type. A run-time interaction among values indicates that they have the same abstract type, so their abstract types are unified. Also at run time, abstract types for variables are accumulated from abstract types for values. The notion of interaction may be customized, permitting the analysis to compute finer or coarser abstract types; these different notions of abstract type are useful for different tasks. We have implemented the analysis for compiled x86 binaries and for Java bytecodes. Our experiments indicate that the inferred abstract types are useful for program comprehension, improve both the results and the run time of a follow-on program analysis, and are more precise than the output of a comparable static analysis, without suffering from overfitting.

show abstract

“…The lack of units may initially lead to some confusion, but allowed the rapid development of our prototype with focus on the major design issues such as location-aware service discovery and quality of results. Explicit specification of units with enhanced language features, such as proposed in [2], will be investigated as part of a future language release.…”

Section: Units Of Measurementsmentioning

confidence: 99%

Programming ad-hoc networks of mobile and resource-constrained devices

et al. 2005

View full text Add to dashboard Cite

Ad-hoc networks of mobile devices such as smart phones and PDAs represent a new and exciting distributed system architecture. Building distributed applications on such an architecture poses new design challenges in programming models, languages, compilers, and runtime systems. This paper discusses SpatialViews, a high-level language designed for programming mobile devices connected through a wireless ad-hoc network. SpatialViews allows specification of virtual networks with nodes providing desired services and residing in interesting spaces. These nodes are discovered dynamically with user-specified time constraints and quality of result (QoR). The programming model supports "best-effort" semantics, i.e., different executions of the same program may result in "correct" answers of different quality. It is the responsibility of the compiler and runtime system to produce a high-quality answer for the particular network and resource conditions encountered during program execution. Four applications, which exercise different features of the SpatialViews language, are presented to demonstrate the expressiveness of the language and the efficiency of the compiler generated code. The applications are an application that collects and aggregates sensor data in network, an application that performs dynamic service installation, a mobile camera application that supports computation offloading for image understanding, and an augmented-reality (AR) Pacman game. The efficiency of the compiler generated code is verified through simulation and physical measurements. The reported results show that SpatialViews is an expressive and effective language for ad-hoc networks. In addition, compiler optimizations can significantly improve response times and energy consumption.

show abstract

Object-oriented units of measurement

Cited by 34 publications

References 16 publications

A pragmatic approach to dimensional analysis for mobile robotic programming

A pragmatic approach to dimensional analysis for mobile robotic programming

Dynamic inference of abstract types

Programming ad-hoc networks of mobile and resource-constrained devices

Contact Info

Product

Resources

About