A typed interrupt calculus

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

Volumn 2469, Issue , 2002, Pages 291-310

  Palsberg, Jens ^a   Ma, Di ^a  

^a Purdue University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; FAULT TOLERANCE; INTERACTIVE COMPUTER SYSTEMS; MODEL CHECKING;

INTERRUPT HANDLING; PROGRAM FRAGMENTS; PROGRAMMING ERRORS; PROGRAMMING IDIOMS; PROTOTYPE IMPLEMENTATIONS; STATIC CHECKING; STATIC TYPE SYSTEMS; WHOLE-PROGRAM ANALYSIS;

REAL TIME SYSTEMS;

EID: 84974715481     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45739-9_18     Document Type: Conference Paper

References (14)

1. Martín Abadi and Luca Cardelli. A Theory of Objects. Springer-Verlag, 1996.
2. Henk P. Barendregt. The Lambda Calculus: Its Syntax and Semantics. North-Holland, Amsterdam, 1981.
3. Dennis Brylow, Niels Damgaard, and Jens Palsberg. Static checking of interruptdriven software. In Proceedings of ICSE’01, 23rd International Conference on Software Engineering, pages 47-56, Toronto, May 2001.
4. Luca Cardelli and Andrew D. Gordon. Mobile ambients. In M. Nivat, editor, Proceedings of Foundations of Software Science and Computation Structures, pages 140-155. Springer-Verlag (LNCS 1378), 1998.
5. M. Coppo, M. Dezani-Ciancaglini, and B. Venneri. Principal type schemes and lambda-calculus semantics. In J. Seldin and J. Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 535-560. Academic Press, 1980.
6. J. Roger Hindley. Types with intersection: An introduction. Formal Aspects of Computing, 4: 470-486, 1991.
7. R. Milner. A Calculus of Communicating Systems. Springer-Verlag (LNCS 92), 1980.
8. Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes, part I/II. Information and Compuation, 100(1): 1-77, September 1992.
9. Mayur Naik and Jens Palsberg. Compiling with code-size constraints. In LCTES’02, Languages, Compilers, and Tools for Embedded Systems joint with SCOPES’02, Software and Compilers for Embedded Systems, June 2002.
10. Jens Palsberg. Type-based analysis and applications. In Proceedings of PASTE’01, ACM Workshop on Program Analysis for Software Tools, pages 20-27, June 2001.
11. Jens Palsberg and Christina Pavlopoulou. From polyvariant flow information to intersection and union types. Journal of Functional Programming, 11(3): 263-317, May 2001.
12. Jens Palsberg and Matthew Wallace. Reverse engineering of real-time assembly code. Manuscript, 2002.
13. Andreas Podelski. Model checking as constraint solving. In Proceedings of SAS’00, International Static Analysis Symposium, pages 22-37. Springer-Verlag (LNCS 1824), 2000.
14. Wayne Wolf. Computers as Components, Principles of Embedded Computing System Design. Morgan Kaufman Publishers, 2000.