| |
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.
|
| |
In CSFW '05: Proceedings of the 18th IEEE workshop on Computer Security Foundations (2005), pp. 226-240.
|
| |
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)
|
| |
Commun. ACM, Vol. 50, No. 11. (November 2007), pp. 120-120.
|
| |
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 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.
|
| |
|
| |
In WODA '06: Proceedings of the 2006 international workshop on Dynamic systems analysis (2006), pp. 73-80.
|
| |
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.
|
| |
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.
|
| |
|
| |
International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 5. (6 October 2007), pp. 489-504.
|
| |
In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 228-241.
|
| |
|
| |
Programming Languages and Systems (2007), pp. 125-140.
|
| |
In X Congreso Argentino de Ciencias de la Computación (CACIC 2004) (October 2004)
|
| |
Revista Nuevas Propuestas, No. 36. (December 2004)
|
| |
Revista Nuevas Propuestas, No. 39. (June 2006), pp. 101-110.
|
| |
In XIII Congreso Argentino de Ciencias de la Computación (CACIC 2007) (October 2007)
|
| |
In VII Jornadas sobre Programación y Lenguajes (PROLE 2007) (September 2007)
|
| |
Theoretical Computer Science, Vol. 306, No. 1-3. (5 September 2003), pp. 113-122.
|
| |
Acta Informatica, Vol. 40, No. 5. (1 March 2004), pp. 349-365.
|
| |
Computer Security Foundations Symposium, 2007. CSF '07. 20th IEEE In Computer Security Foundations Symposium, 2007. CSF '07. 20th IEEE (2007), pp. 218-232.
|
| |
In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 79-90.
|
| |
|
| |
|
| |
J. ACM, Vol. 10, No. 3. (July 1963), pp. 316-333.
|
| |
Commun. ACM, Vol. 9, No. 1. (January 1966), pp. 13-25.
|
| |
|
| |
DARPA Information Survivability Conference & Exposition II, 2001. DISCEX '01. Proceedings In DARPA Information Survivability Conference & Exposition II, 2001. DISCEX '01. Proceedings, Vol. 2 (2001), pp. 27-40 vol.2.
|
| |
|
| |
In Proceedings of CASCON 1999 (1999), pp. 125-135.
|
| |
2 nd UK workshop on program comprehension (Durham University, UK, July 1996), M. Munro, Ed. (1996)
|
| |
In IEEE International Symposium on Secure Software Engineering (2006)
|
| |
In Proceedings of the first APPSEM-II workshop (2003), pp. 152-165.
|
| |
In TAPSOFT '97: Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (1997), pp. 607-621.
|
| |
In TLDI '05: Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation (2005), pp. 103-112.
|
Search
