Rule-based analysis of dimensional safety

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

Volumn 2706, Issue , 2003, Pages 197-207

  Chen, Feng ^a   Roşu, Grigore ^a   Venkatesan, Ram Prasad ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BASIC PRINCIPLES; DIMENSIONAL ANALYSIS; DOMAIN SPECIFIC; GENERAL DESIGNS; NAVIGATION SOFTWARE; REWRITING SYSTEMS; SAFETY POLICIES; SOFTWARE ANALYSIS;

UNITS OF MEASUREMENT;

EID: 84947786679     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44881-0_15     Document Type: Conference Paper

References (27)

1. GNU BC. URL: http://www.gnu.org/software/bc/bc.html.
2. J. Bergstra and J.V. Tucker. Equational specifications, complete rewriting systems, and computable and semicomputable algebras. JACM, 42(6):1194–1230, 1995.
3. P. Borovanský, H. Cîrstea, H. Dubois, C. Kirchner, H. Kirchner, P.-E. Moreau, C. Ringeissen, and M. Vittek. ELAN. User manual – http://www.loria.fr.
4. M. Broy, M. Wirsing, and P. Pepper. On the algebraic definition of programming languages. ACM Trans. on Prog. Lang. and Systems, 9(1):54–99, January 1987.
5. T. Cheatham. Handling fractions and n-tuples in algebraic languages. Presented at the 15th ACM Annual Meeting, Aug. 1960.
6. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. Quesada. Maude: spec. and progr. in rewriting logic. J. of TCS, 285(2):187–243, 2002.
7. Compaq. ESC for Java, 2000. URL: www.research.compaq.com/SRC/esc.
8. R. Diaconescu and K. Futatsugi. CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification. World Scientific, 1998. AMAST Series in Computing, volume 6.
9. A. Dreiheller, M. Moerschbacher, and B. Mohr. Physcal - programming Pascal with physical units. ACM SIGPLAN Notices, 21(12):114–123, December 1986.
10. N. Gehani. Units of measure as a data attribute. Comp. Lang., 2:93–111, 1977.
11. N. H. Gehani. Ada’s derived types and units of measure. Software: Practice and Experience, 15(6):555–569, June 1985.
12. J. Goguen and G. Malcolm: Alg. Semantics of Imperative Programs. MIT, 1996.
13. J. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J.-P. Jouannaud. Introducing OBJ. In Software Eng. with OBJ: Alg. spec. in action. Kluwer, 2000.
14. I. J. Hayes and B. P. Mahony: Units of measurement in formal specifications. Technical report, SVR Centre, University of Queensland, November 1994.
15. P. N. Hilfinger. An Ada package for dimensional analysis. ACM Transactions on Programming Languages and Systems, 10(2):189–203, April 1988.
16. R. T. House. A proposal for the extended form of type checking of expressions. The Computer Journal, 26(4):366–374, 1983.
17. M. Karr and D. B. Loveman III. Incorporation of units into programming languages. Communications of the ACM, 21(5):385–391, May 1978.
18. A. J. Kennedy. Relational parametricity and units of measure. In POPL’97. ACM.
19. A. J. Kennedy: Programming Languages and Dimensions. PhD thesis, St. Catherine’s College, University of Cambridge, November 1995.
20. G. W. Macpherson. A reusable ada package for scientific dimensional integrity. ACM Ada Letters, XVI(3):56–69, 1996.
21. R. Milner. A theory of type polymorphism in programming languages. Journal of Computer and System Sciences, 17:348–375, 1978.
22. Peter G. Neumann. Letter from the editor - risks to the public. ACM SIGSOFT Software Engineering Notes, 10(3):10, July 1985.
23. M. Odersky and K. Läufer: Putting type annotations to work. TR, Newton Institute Workshop on Advances in Type Systems for Comp., Cambridge, 1995.
24. Mars Climate Orbiter. URL: http://mars.jpl.nasa.gov/msp98/orbiter.
25. M. Rittri. Dimensional inference under polymorphic recursion. In Functional Programming Languages and Computer Architecture, 7th Conference. ACM, 1995.
26. M. Wand. First-order identities as a defining language. Acta Inf. (14), 1980.
27. Z. Yang. Encoding types in ML-like languages. In ICPF 98. ACM, 1998.