Certifying measurement unit safety policy

Proceedings - 18th IEEE International Conference on Automated Software Engineering, ASE 2003

Volumn , Issue , 2003, Pages 304-309

  Roşu, Grigore ^a   Chen, Feng ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

SAFETY ENGINEERING; UNITS OF MEASUREMENT;

BASIC PRINCIPLES; C LANGUAGE; DESIGN PRINCIPLES; DOMAIN SPECIFIC; GENERAL DESIGNS; SAFETY POLICIES; SOFTWARE ANALYSIS;

C (PROGRAMMING LANGUAGE);

EID: 24944470587     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2003.1240326     Document Type: Conference Paper

References (23)

1. 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.
2. M. Broy, M. Wirsing, and P. Pepper. On the algebraic definition of programming languages. ACM Trans. on Prog. Lang. and Systems, 9(1), 1987.
3. T. Cheatham. Handling fractions and n-tuples in algebraic languages. Presented at the 15th ACM Annual Meeting, Aug. 1960.
4. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. Quesada. Maude: Specification and Programming in Rewriting Logic. Theoretical Computer Science, 285, 2002.
5. Compaq. ESC for Java, 2000. URL: www.research.compaq.com/SRC/esc.
6. R. Diaconescu and K. Futatsugi. CafeOBJ Report. World Scientific, 1998. AMAST Series in Computing, volume 6.
7. A. Dreiheller, M. Moerschbacher, and B. Mohr. Physcal - programming Pascal with physical units. ACM SIGPLAN Notices, 21(12), 1986.
8. N. Gehani. Units of measure as a data attribute. Comp. Lang., 2, 1977.
9. N. H. Gehani. Ada's derived types and units of measure. Software: Practice and Experience, 15(6), 1985.
10. J. Goguen and G. Malcolm. Alg. Semantics of Imperative Programs. MIT, 1996.
11. J. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J.-P. Jouannaud. Introducing OBJ. In Software Engineering with OBJ. Kluwer, 2000.
12. P. N. Hilfinger. An Ada package for dimensional analysis. ACM Transactions on Programming Languages and Systems, 10(2), April 1988.
13. R. T. House. A proposal for the extended form of type checking of expressions. The Computer Journal, 26(4), 1983.
14. M. Karr and D. B. L. III. Incorporation of units into programming languages. Communications of the ACM, 21(5):385-391, 1978.
15. A. J. Kennedy. Relational parametricity and units of measure. In Proceedings of POPL'97. ACM, 1997.
16. A. J. Kennedy. Programming Languages and Dimensions. PhD thesis, St. Catherine's College, University of Cambridge, November 1995.
17. R. Khanin. Dimensional analysis in Computer Algebra. In Proceedings of ISSAC'01. ACM, 2001.
18. M. Lowry, T. Pressburger, and G. Roşu. Certifying domain-specific policies. In Proceedings of ASE'01. IEEE, 2001.
19. G. W. Macpherson. A reusable Ada package for scientific dimensional integrity. ACM Ada Letters, XVI(3), 1996.
20. B. Meyer. Object-Oriented Software Construction, 2nd edition. Prentice Hall, 2000.
21. R. Milner. A theory of type polymorphism in programming languages. Journal of Computer and System Sciences, 17, 1978.
22. M. Rittri. Dimensional inference under polymorphic recursion. In Proceedings of Functional Programming Languages and Computer Architecture. ACM, 1995.
23. M. Wand. First-order identities as a defining language. Acta Informatica, 14, 1980.