| |
Soft\-waredash Prac\-tice and Experience, Vol. 25, No. 7. (1995), pp. 789-810.
|
| |
|
| |
Queue, Vol. 3, No. 9. (2005), pp. 34-41.
|
| |
Commun. ACM, Vol. 10, No. 10. (October 1967), pp. 611-618.
|
| |
In HOPL-II: The second ACM SIGPLAN conference on History of programming languages, Vol. 28, No. 3. (March 1993), pp. 345-346.
|
| |
In PLDI '95: Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, Vol. 30, No. 6. (June 1995), pp. 291-300.
|
| |
|
| |
Computer Standards & Interfaces, Vol. 23, No. 3. (July 2001), pp. 169-185.
|
| |
Language Sciences, Vol. In Press, Corrected Proof
|
| |
|
| |
|
| |
|
| |
|
| |
ACM SIG\-PLAN Notices, Vol. 28, No. 3. (1993), pp. 201-208.
|
| |
Information Technology: Research and Education, 2003. Proceedings. ITRE2003. International Conference on (2003), pp. 243-250.
|
| |
Computers, IEEE Transactions on, Vol. 55, No. 10. (2006), pp. 1271-1285.
|
| |
|
| |
Science of Computer Programming, Vol. 32, No. 1--3. (1998), pp. 49-72.
|
| |
Security & Privacy Magazine, IEEE, Vol. 2, No. 4. (2004), pp. 20-27.
|
| |
14th USENIX Security Symposium, pp. 271-286.
|
| |
Security and Privacy, 2002. Proceedings. 2002 IEEE Symposium on (2002), pp. 143-159.
|
| |
In Proc.\ Int.\ Workshop on Memory Management (1995)
|
| |
Formal Aspects of Computing, Vol. 5, No. 4. (1993), pp. 289-298.
|
| |
|
| |
In Journal of Functional Programming (January 2002)
|
| |
|
| |
Computer Graphics Forum, Vol. 26, No. 3. (September 2007), pp. 415-424.
|
| |
In VEE '06: Proceedings of the 2nd international conference on Virtual execution environments (2006), pp. 57-67.
|
| |
SIGPLAN Not., Vol. 29, No. 12. (December 1994), pp. 31-37.
by Robert P. Wilson, Robert S. French, Christopher S. Wilson, et al.Saman P. Amarasinghe, Jennifer M. Anderson, Steve W. K. Tjiang, Shih-Wei Liao, Chau-Wen Tseng, Mary W. Hall, Monica S. Lam, John L. Hennessy
|
| |
SIGPLAN Notices, Vol. 29, No. 12. (1994), pp. 31-37.
by Robert P. Wilson, Robert S. French, Christopher S. Wilson, et al.Saman P. Amarasinghe, Jennifer, Steven W. K. Tjiang, Shih W. Liao, Chau W. Tseng, Mary W. Hall, Monica S. Lam, John L. Hennessy
|
| |
Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems] (2003), pp. 227-237.
|
| |
In Network and Distributed System Security Symposium(NDSS) (February 2003), pp. 149-162.
|
| |
|
| |
In Proceedings of the 7th USENIX Security Symposium (1998)
|
| |
In SenSys '06: Proceedings of the 4th international conference on Embedded networked sensor systems (2006), pp. 29-42.
|
| |
|
| |
|
| |
ACM Trans. Program. Lang. Syst., Vol. 27, No. 3. (May 2005), pp. 477-526.
|
| |
In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, Vol. 38, No. 5. (May 2003), pp. 232-244.
|
| |
In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 128-139.
|
| |
Information Processing Letters, Vol. 25, No. 4. (1987), pp. 275-279.
|
| |
|
| |
|
| |
In TLDI '03: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation (2003), pp. 13-25.
|
Search
