Ada's derived types and units of measure
Software—Practice & Experience
A proposal for an extended form of type checking of expressions
The Computer Journal
Programming pascal with physical units
ACM SIGPLAN Notices
Implementation of physical units
ACM SIGPLAN Notices
An Ada package for dimensional analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM SIGAda Ada Letters
ACM SIGAda Ada Letters
Fully static dimensional analysis with C++
ACM SIGPLAN Notices
A project-based approach to programming language evaluation
ACM SIGPLAN Notices
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Python robotics: an environment for exploring robotics beyond LEGOs
SIGCSE '03 Proceedings of the 34th SIGCSE technical symposium on Computer science education
IEEE Software
Conversion of Units of Measurement
IEEE Transactions on Software Engineering
Dimensional analysis in Pascal
ACM SIGPLAN Notices
Object-oriented units of measurement
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Concepts Programmng Languages (7th Edition)
Concepts Programmng Languages (7th Edition)
Development environments for autonomous mobile robots: A survey
Autonomous Robots
A survey of physical unit handling techniques in ada
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Hi-index | 0.00 |
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.