References

  1. Andrew Barber & Gordon Plotkin (1998): Dual Intuitionistic Linear Logic. Technical Report. University of Edinburgh.
  2. Josh Berdine, Peter W. O'Hearn, Uday Reddy & Hayo Thielecke (2002): Linear Continuation Passing. Higher-order and Symbolic Computation 15(2/3), pp. 181–208, doi:10.1023/A:1020891112409.
  3. Daniel Bovet & Marco Cesati (2002): Understanding the Linux Kernel, Second Edition, 2 edition. O'Reilly & Associates, Inc., Sebastopol, CA, USA.
  4. Christophe de Dinechin (2000): C++ exception handling for IA-64. In: Proceedings of the 1st conference on Industrial Experiences with Systems Software - Volume 1, WIESS'00. USENIX Association, Berkeley, CA, USA, pp. 8–8. Available at http://dl.acm.org/citation.cfm?id=1251503.1251511.
  5. (2001): Itanium C++ ABI: Exception Handling. Available at http://www.codesourcery.com/cxx-abi/abi-eh.html. (Revision: 1.22).
  6. Xinyu Feng, Zhong Shao, Yu Guo & Yuan Dong (2009): Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads. J. Autom. Reasoning 42(2-4), pp. 301–347, doi:10.1007/s10817-009-9118-9.
  7. Graham Hutton & Joel Wright (2007): What is the meaning of these constant interruptions?. J. Funct. Program. 17(6), pp. 777–792, doi:10.1017/S0956796807006363.
  8. (2011): ISO/IEC 14882:2011 Information technology - Programming languages - C++. Available at http://www.iso.org.
  9. (1999): ISO/IEC 14882:1999 Programming languages - C++. Available at www.iso.ch.
  10. Michael Kerrisk (2010): The Linux Programming Interface: A Linux and UNIX System Programming Handbook, 1 edition. No Starch Press. Available at http://www.worldcat.org/isbn/1593272200.
  11. Robin Milner, Mads Tofte, Robert Harper & David MacQueen (1997): The Definition of Standard ML (Revised). MIT Press. Available at http://www.worldcat.org/isbn/0262631814.
  12. Eugenio Moggi (1989): Computational Lambda Calculus and Monads. In: Proceedings, Fourth Annual Symposium on Logic in Computer Science, pp. 14–23, doi:10.1109/LICS.1989.39155.
  13. John C. Reynolds (2002): Separation Logic: A Logic for Shared Mutable Data Structures. In: Logic in Computer Science (LICS). IEEE, pp. 55–74, doi:10.1109/LICS.2002.1029817.
  14. Kay Robbins & Steve Robbins (2003): UNIX Systems Programming: Communication, Concurrency and Threads (2nd Edition). Prentice Hall PTR. Available at http://www.worldcat.org/isbn/0130424110.
  15. Sandra Loosemore and Richard M. Stallman and Roland McGrath and Andrew Oram and Ulrich Drepper (2007): The GNU C Library Reference Manual, 0.12 edition. Available at http://www.gnu.org/software/libc/manual/pdf/libc.pdf. last updated 2007-10-27, for version 2.8.
  16. Richard W. Stevens & Stephen A. Rago (2005): Advanced Programming in the UNIX(R) Environment (2nd Edition). Addison-Wesley Professional. Available at http://www.informit.com/store/product.aspx?isbn=0201433079.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org