| |
In PASTE '07: Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2007), pp. 9-14.
|
| |
Annals of Operations Research, Vol. 2005 (1995)
|
| |
In SSYM'03: Proceedings of the 12th conference on USENIX Security Symposium (2003), pp. 9-9.
|
| |
In CCS '03: Proceedings of the 10th ACM conference on Computer and communications security (2003), pp. 345-354.
|
| |
Engineering Secure Software and Systems (2009), pp. 185-194.
|
| |
Verification, Model Checking, and Abstract Interpretation (2004), pp. 405-427.
|
| |
In PLDI '00: Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, Vol. 35, No. 5. (May 2000), pp. 219-232.
|
| |
|
| |
Object-Oriented Programming (1995), pp. 77-101.
|
| |
In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1998), pp. 25-37.
|
| |
In OOPSLA '08: Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications (2008), pp. 227-244.
|
| |
In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation (2006), pp. 263-271.
|
| |
In ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering (2005), pp. 197-206.
|
| |
SIGPLAN Not., Vol. 43, No. 6. (2008), pp. 238-248.
|
| |
In MICRO 38: Proceedings of the 38th annual IEEE/ACM International Symposium on Microarchitecture (2005), pp. 130-140.
|
| |
In ESEC '97/FSE-5: Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering (1997), pp. 432-449.
|
| |
SIGPLAN Not., Vol. 42, No. 10. (2007), pp. 97-112.
|
| |
In In VMCAI (2004), pp. 191-210.
|
| |
In Proc. ASE 2001 (2001), pp. 262-271.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 30, No. 2. (March 2005), pp. 1-36.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 217 (2008), pp. 5-21.
|
| |
IBM Syst. J., Vol. 46, No. 2. (2007), pp. 265-288.
|
| |
In Proceedings of the 8th Colloquium on Automata, Languages and Programming (1981), pp. 114-128.
|
| |
In Selected papers from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages (1997), pp. 76-99.
|
| |
In VMCAI '09: Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation (2009), pp. 44-58.
|
| |
|
| |
In POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1994), pp. 435-445.
|
| |
In PLDI '90: Proceedings of the ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation (1990), pp. 296-310.
|
| |
In TLDI '03: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation (2003), pp. 1-12.
|
| |
Science of Computer Programming In Special issue on the 11th Static Analysis Symposium - SAS 2004, Vol. 64, No. 1. (01 January 2007), pp. 3-28.
|
| |
In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1997), pp. 332-345.
|
| |
In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1995), pp. 393-407.
|
| |
In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 40, No. 10. (October 2005), pp. 365-383.
|
| |
In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation (2002), pp. 69-82.
|
| |
Software Process: Improvement and Practice, Vol. 11, No. 1. (2006), pp. 47-59.
|
| |
Software Engineering and Advanced Applications, 2005. 31st EUROMICRO Conference on In Software Engineering and Advanced Applications, 2005. 31st EUROMICRO Conference on (2005), pp. 240-247.
|
| |
Computer Security Applications Conference, Annual, Vol. 0 (2004), pp. 2-13.
|
| |
In PASTE '08: Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2008), pp. 50-56.
|
| |
In PLDI '09: Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation (2009), pp. 87-97.
|
| |
Ada Lett., Vol. XXVIII, No. 1. (2008), pp. 76-82.
|
| |
In PLDI '03: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (2003), pp. 196-207.
|
| |
IEEE Transactions on Software Engineering, Vol. 23 (1997), pp. 279-295.
|
| |
In PLDI '01: Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation (2001), pp. 203-213.
|
| |
25 Years of Model Checking In 25 Years of Model Checking (2008), pp. 1-26.
|
| |
Acta Informatica, Vol. 7, No. 3. (1977), pp. 305-317.
|
| |
In POPL '73: Proceedings of the 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (1973), pp. 194-206.
|
| |
In LFP '86: Proceedings of the 1986 ACM Conference on LISP and Functional Programming (1986), pp. 351-363.
|
| |
In POPL '09: Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2009), pp. 416-428.
|
| |
Static Analysis In SAS '06: Static Analysis Symposium (2006), pp. 221-239.
|
| |
In POPL '08: Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2008), pp. 247-260.
|
Search
