Predictable programs in barcodes

Proceedings of the 2002 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES '02

Volumn , Issue , 2002, Pages 298-303

  Goodloe, Alwyn ^a   McDougall, Michael ^a   Gunter, Carl A ^a   Alur, Rajeev ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Active barcodes; Code delivery; Formal verification; Programmability of embedded devices

Indexed keywords

BYTECODES; COOKING TIME; EMBEDDED DEVICE; FORMAL VERIFICATIONS; MODEL CHECKER; OPEN API; PROGRAMMABILITY; PROGRAMMABILITY OF EMBEDDED DEVICES; PROGRAMMING INTERFACE; PROPOSED ARCHITECTURES; PROTOTYPE ARCHITECTURE; SAFETY PROPERTY;

APPLICATION PROGRAMMING INTERFACES (API); BAR CODES; MICROWAVE DEVICES; MODEL CHECKING; PROGRAM COMPILERS; STOVES; SYNTHESIS (CHEMICAL);

EMBEDDED SYSTEMS;

EID: 35248819810     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/581630.581679     Document Type: Conference Paper

References (19)

1. I. 15417:2000. Automatic identification and data capture techniques - bar code symbology specification - code 128. Technical report, International Standards Organizatiopn, 2000.
2. I. 16388:1999. Automatic identification and data capture techniques -bar code symbology specifications - code 39. Technical report, International Standards Organization, 1999.
3. K. Arnold, J. Gosling, and D. Holmes. The Java Programming Language. Addison-Wesley, Reading, MA, USA, third edition, 2000.
4. A. BC11-ISS. Data matrix. Technical report, AIM, 1996.
5. A. BC13-ISS. Aztec code. Technical report, AIM, 1997.
6. G. Berry and G. Gonthier. The synchronous programming language esterel: design, semantics, implementation. Technical Report 842, INRIA, 1988.
7. D. M. C. Nevill-Manning, I.H. Witten. Compression by induction of hierarchial grammars. In J. A. Storer and M. Cohen, editors, Proceeding Data Compression Conference, pages 244-253. IEEE Press, 1994.
8. E. Clarke and R. Kurshan. Computer-aided verification. IEEE Spectrum, 33(6):61-67, 1996.
9. E. Clarke and J. Wing. Formal methods: State of the art and future directions. ACM Computing Surveys, 28(4):626-643, 1996.
10. U. C. Council. Ansi/ucc1-2000:u.p.c. symbol specification manual. Technical report, American National Standards Institute, 2000.
11. C. Elliott and P. Hudak. Functional reactive animation. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '97), volume 32(8), pages 263-273, 1997.
12. N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, 1993.
13. G. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, Englewood Cliffs, New Jersey, 1991.
14. T. Kistler and M. Franz. A tree-based alternative to java byte-codes. International Journal of Parallel Programming, 27(1):21-34, January 1999.
15. C. C. L. Clausen, U. Oagh-Schultz and G. Muller. Java bytecode compression for low-end embedded systems. ACM Transactions on Programming Languages, 22(3):1-19, May 2000.
16. W. Pugh. Compressing java clas files. In ACM Sigplan Conference on Programming Language Design and Implementation, pages 247-258. ACM Press, 1999.
17. C. Stork and V. Haldar. Compressed abstact syntax trees for mobile code. In Proceeding of Workshop on Intermediate Representation Engineering, 2001.
18. Z. Wan, W. Taha, and P. Hudak. Real-time FRP. In International Conference on Functional Programming (ICFP '01), Florence, Italy, September 2001.
19. J. Ziv and A. Lempel. Compression of individual sequences via variable-rate coding. IEEE Transactions Information Theory, 24(5):530-536, 1978.