| |
In VMCAI 2010: International Conference on Verifiation, Model-Checking and Abstract Interpretation (January 2010), pp. 263-278.
|
| |
In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1998), pp. 25-37.
|
| |
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 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 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.
|
| |
Verification, Model Checking, and Abstract Interpretation In In VMCAI '07: Verification, Model Checking, and Abstract Interpretation (2007), pp. 234-250.
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 24, No. 3. (May 2002), pp. 217-298.
|
| |
In EMSOFT '07: Proceedings of the 7th ACM and IEEE International Conference on Embedded Software (2007), pp. 7-9.
|
| |
Information and Software Technology, Vol. 40, No. 11-12. (1 December 1998), pp. 701-726.
|
| |
In PLDI '06: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (2006), pp. 415-426.
|
| |
In PLDI '99: Proceedings of the ACM SIGPLAN 1999 Conference on Programming Language Design and Implementation (1999), pp. 91-103.
|
| |
In LCTES '06: Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, Compilers, and Tool Support for Embedded Systems (2006), pp. 54-63.
|
| |
In POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1996), pp. 32-41.
|
| |
In CC '92: Proceedings of the 4th International Conference on Compiler Construction (1992), pp. 251-257.
|
| |
In POPL '09: Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2009), pp. 127-139.
|
| |
In ECOOP '95: Proceedings of the 9th European Conference on Object-Oriented Programming (1995), pp. 2-26.
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 20, No. 1. (January 1998), pp. 166-207.
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 17, No. 1. (January 1995), pp. 47-62.
|
| |
|
| |
In Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation, Vol. 23, No. 7. (July 1988), pp. 164-174.
|
| |
Journal of Functional Programming, Vol. 8, No. 3. (1998), pp. 239-273.
|
| |
Science of Computer Programming, Vol. 58, No. 1-2. (2005), pp. 206-263.
|
| |
In CONCUR '97: Proceedings of the 8th International Conference on Concurrency Theory (1997), pp. 135-150.
|
| |
|
| |
In VMCAI '09: Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation (2009), pp. 260-274.
|
| |
In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 127-140.
|
