Static typing for a faulty lambda calculus
- 16 September 2006
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 41 (9) , 38-49
- https://doi.org/10.1145/1159803.1159809
Abstract
No abstract availableKeywords
This publication has 28 references indexed in Scilit:
- A Theory of Secure Control FlowPublished by Springer Nature ,2005
- ED/sup 4/I: error detection by diverse data and duplicated instructionsIEEE Transactions on Computers, 2002
- Control-flow checking by software signaturesIEEE Transactions on Reliability, 2002
- Error detection by duplicated instructions in super-scalar processorsIEEE Transactions on Reliability, 2002
- Stack-based typed assembly languageJournal of Functional Programming, 2002
- Soft errors in advanced semiconductor devices-part I: the three radiation sourcesIEEE Transactions on Device and Materials Reliability, 2001
- Software-implemented EDAC protection against SEUsIEEE Transactions on Reliability, 2000
- From system F to typed assembly languageACM Transactions on Programming Languages and Systems, 1999
- IBM's S/390 G5 microprocessor designIEEE Micro, 1999
- Concurrent error detection using watchdog processors-a surveyIEEE Transactions on Computers, 1988