| |
In PLAS '06: Proceedings of the 2006 workshop on Programming languages and analysis for security (2006), pp. 85-94.
|
| |
Inf. Process. Lett., Vol. 29, No. 3. (October 1988), pp. 155-163.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 9, No. 3. (July 1987), pp. 319-349.
|
| |
In SIGSOFT '94: Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering (1994), pp. 2-10.
|
| |
|
| |
In Information and Communications Security, 8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, Vol. 4307 (2006), pp. 332-351.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 4, No. 1. (1982), pp. 21-36.
|
| |
In ACM'73: Proceedings of the annual conference (1973), pp. 106-113.
|
| |
In First International Workshop on Run Time Enforcement for Mobile and Distributed Systems (REM 2007) (2007), pp. 1-11.
|
| |
In TLDI '05: Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation (2005), pp. 103-112.
|
| |
In Proceedings of the first APPSEM-II workshop (2003), pp. 152-165.
|
| |
In IEEE International Symposium on Secure Software Engineering (2006)
|
| |
2 nd UK workshop on program comprehension (Durham University, UK, July 1996), M. Munro, Ed. (1996)
|
| |
In Proceedings of CASCON 1999 (1999), pp. 125-135.
|
| |
|
| |
In VII Jornadas sobre Programación y Lenguajes (PROLE 2007) (September 2007)
|
| |
In XIII Congreso Argentino de Ciencias de la Computación (CACIC 2007) (October 2007)
|
| |
In 7th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM'07) (2007), pp. 27-36.
|
| |
In PPDP '06: Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming (2006), pp. 249-260.
|
| |
SIAM Journal on Computing, Vol. 2, No. 1. (1973), pp. 7-15.
|
| |
Advances in Computers, Vol. 62 (2004), pp. 106-179.
|
| |
|
| |
In Harman, M., Gallagher, K. (Eds.), Information and Software Technology Special Issue on Program Slicing, Vol. 40 (1999), pp. 595-607.
|
| |
|
| |
|
| |
In CGO '03: Proceedings of the international symposium on Code generation and optimization (2003), pp. 325-336.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 190, No. 1. (July 2007), pp. 103-119.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 13, No. 2. (April 2004), pp. 199-239.
|
| |
SIGPLAN Not., Vol. 37, No. 8. (August 2002), pp. 45-52.
|
| |
|
| |
Commun. ACM, Vol. 16, No. 10. (October 1973), pp. 613-615.
|
| |
In ICSE '03: Proceedings of the 25th International Conference on Software Engineering (2003), pp. 319-329.
|
| |
|
| |
In POPL '81: Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1981), pp. 207-218.
|
| |
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 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. Softw. Eng. Methodol., Vol. 15, No. 4. (October 2006), pp. 410-457.
|
| |
|
| |
Software Engineering, Vol. 26, No. 9. (2000), pp. 849-871.
|
| |
In RSP: 19th IEEE Computer Society Symposium on Research in Security and Privacy (1998)
|
| |
In TLDI '05: Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation (2005), pp. 103-112.
|
| |
|
| |
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.
|
| |
No. MIT/LCS/TR-783. (1999)
|
Search
