Author:
Arkoudas Konstantine,Shivers Olin
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Arkoudas, K.: Athena, http://www.pac.csail.mit.edu/athena
2. Arkoudas, K., Rinard, M.: Deductive runtime certification. Electronic Notes on Theoretical Computer Science (ENTCS) 113(3), 45–63 (2005); 2004 Workshop on Runtime Verification, Barcelona, Spain
3. Lecture Notes in Computer Science;K. Arkoudas,2004
4. Arvizo, T.: A virtual machine for a type-ω denotational proof language. MS thesis, MIT (2002), ftp://publications.ai.mit.edu/ai-publications/2002/AITR-2002-204.pdf
5. Lecture Notes in Computer Science;M.J. Gordon,1979