| |
Theoretical Computer Science, Vol. 110, No. 2. (1993), pp. 249-339.
|
| |
|
| |
Computer, Vol. 37, No. 6. (June 2004), pp. 37-46.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 27, No. 5. (September 2002), pp. 98-103.
|
| |
In PLAS '06: Proceedings of the 2006 workshop on Programming languages and analysis for security (2006), pp. 75-84.
|
| |
In PLAS '06: Proceedings of the 2006 workshop on Programming languages and analysis for security (2006), pp. 85-94.
|
| |
|
| |
Source Code Analysis and Manipulation, 2006. SCAM '06. Sixth IEEE International Workshop on (2006), pp. 3-7.
|
| |
In PLDI '93: Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation (1993), pp. 78-89.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 10, No. 2. (April 2001), pp. 209-254.
|
| |
|
| |
In SESS '05: Proceedings of the 2005 workshop on Software engineering for secure systems\—building trustworthy applications (2005), pp. 1-7.
|
| |
IEEE Trans. Softw. Eng., Vol. 16, No. 9. (September 1990), pp. 965-979.
|
| |
In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation (1999), pp. 204-214.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 7, No. 1. (January 1985), pp. 37-61.
|
| |
In FOSE '07: 2007 Future of Software Engineering (2007), pp. 104-119.
|
| |
In SOSP '75: Proceedings of the fifth ACM symposium on Operating systems principles (1975), pp. 197-206.
|
| |
In PCSFW: Proceedings of The 11th Computer Security Foundations Workshop (1998)
|
| |
|
| |
In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2004), pp. 186-197.
|
| |
In CSFW '01: Proceedings of the 14th IEEE Workshop on Computer Security Foundations (2001)
|
| |
In PLAS '06: Proceedings of the 2006 workshop on Programming languages and analysis for security (2006), pp. 65-74.
|
| |
|
| |
In SP '95: Proceedings of the 1995 IEEE Symposium on Security and Privacy (1995)
|
| |
In SIGCSE '06: Proceedings of the 37th SIGCSE technical symposium on Computer science education (2006), pp. 87-91.
|
| |
In SOSP '77: Proceedings of the sixth ACM symposium on Operating systems principles (1977), pp. 133-139.
|
| |
In CSFW '06: Proceedings of the 19th IEEE Workshop on Computer Security Foundations (2006)
|
| |
In PCSFW: Proceedings of The 12th Computer Security Foundations Workshop (1999)
|
| |
In CSFW '05: Proceedings of the 18th IEEE Computer Security Foundations Workshop (CSFW'05) (2005), pp. 255-269.
|
| |
|
| |
ACM Trans. Program. Lang. Syst., Vol. 29, No. 5. (2007), pp. 1-43.
|
| |
|
| |
In Proceedings of the 24th IEEE Annual International Computer Software and Applications Conference (October 2000), pp. 486-491.
|
| |
IEEE Journal on Selected Areas in Communications, Vol. 21, No. 1. (January 2003), pp. 5-19.
|
| |
|
| |
In PLAS '07: Proceedings of the 2007 workshop on Programming languages and analysis for security (2007), pp. 53-60.
|
| |
Programming Languages and Systems (2007), pp. 141-156.
|
| |
Queue, Vol. 2, No. 7. (October 2004), pp. 20-26.
|
| |
SIGCAS Comput. Soc., Vol. 36, No. 4. (December 2006)
|
| |
In WPES '04: Proceedings of the 2004 ACM workshop on Privacy in the electronic society (2004), pp. 33-34.
|
| |
In PPDP '06: Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming (2006), pp. 249-260.
|
| |
SIGCAS Comput. Soc., Vol. 36, No. 4. (December 2006)
|
| |
In PLDI '90: Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation (1990), pp. 257-271.
|
| |
Languages and Compilers for Parallel Computing (1994), pp. 477-499.
|
| |
In CGO '03: Proceedings of the international symposium on Code generation and optimization (2003), pp. 325-336.
|
| |
In 7th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM'07) (2007), pp. 27-36.
|
| |
|
| |
In WODA '06: Proceedings of the 2006 international workshop on Dynamic systems analysis (2006), pp. 73-80.
|
| |
In Proceedings of the first conference on North American chapter of the Association for Computational Linguistics (2000), pp. 249-255.
|
| |
J. ACM, Vol. 12, No. 1. (January 1965), pp. 42-52.
|
Search
