| |
In PLDI '00: Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, Vol. 35, No. 5. (May 2000), pp. 182-195.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 9, No. 3. (July 1987), pp. 319-349.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 1, No. 1. (July 1979), pp. 121-141.
|
| |
In Proceedings of OOPSLA '09 (2009), pp. 243-262.
|
| |
In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 287-298.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the ACM-SIGPLAN Workshop on ML (ML 2005), Vol. 148, No. 2. (24 March 2006), pp. 105-126.
|
| |
In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation (2003), pp. 196-207.
|
| |
Commun. ACM, Vol. 12, No. 10. (October 1969), pp. 576-580.
|
| |
Formal Methods in System Design, Vol. 35, No. 1. (1 August 2009), pp. 73-97.
|
| |
J. Funct. Program., Vol. 12, No. 1. (2002), pp. 1-41.
|
| |
Journal of Functional Programming, Vol. 17, No. 4-5. (2007), pp. 473-546.
|
| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 264-276.
|
| |
In SIGSOFT '06/FSE-14: Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering (2006), pp. 117-127.
|
| |
ACM Comput. Surv., Vol. 28, No. 2. (June 1996), pp. 324-328.
|
| |
CONCUR'98 Concurrency Theory (1998), pp. 481-488.
|
| |
In PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, Vol. 23, No. 7. (July 1988), pp. 164-174.
|
| |
In PLDI '04: Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, Vol. 39, No. 6. (May 2004), pp. 131-144.
|
| |
In PODS '05: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2005), pp. 1-12.
|
| |
In PPDP '02: Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming (2002), pp. 38-49.
|
| |
Programming Languages and Systems (2002), pp. 237-261.
|
| |
Static Analysis (2002), pp. 103-124.
|
| |
Nordic J. of Computing, Vol. 9, No. 4. (2002), pp. 335-372.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 3, No. 4. (1981), pp. 431-483.
|
| |
SIGPLAN Not., Vol. 42, No. 1. (2007), pp. 265-276.
|
| |
Programming Languages and Systems (2009), pp. 394-409.
|
| |
Lecture Notes in Computer Science In Computer Aided Verification (2008), pp. 52-65.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2009), pp. 155-169.
|
| |
|
| |
|
| |
In SEFM '06: Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (2006), pp. 186-195.
|
| |
In SAS '98: Proceedings of the 5th International Symposium on Static Analysis (1998), pp. 351-380.
|
| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 226-238.
|
| |
|
| |
In SIGSOFT '06/FSE-14: Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering (2006), pp. 69-80.
|
| |
In In LCTES (2003), pp. 69-80.
|
| |
In ICSE '06: Proceedings of the 28th international conference on Software engineering (2006), pp. 252-261.
|
| |
In PLDI '08: Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation (2008), pp. 1-10.
|
| |
Software, IEEE In Software, IEEE, Vol. 25, No. 5. (2008), pp. 30-37.
|
| |
Static Analysis (2007), pp. 402-418.
|
| |
Software Practice and Experience, Vol. 27, No. 6. (1997), pp. 701-724.
|
| |
ACM Comput. Surv., Vol. 28, No. 4. (December 1996), pp. 644-652.
|
| |
In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 209-220.
|
| |
Computer Aided Verification (2007), pp. 173-177.
|
| |
International Journal on Software Tools for Technology Transfer (STTT), Vol. 2, No. 1. (25 November 1998), pp. 46-67.
|
| |
FM’99 — Formal Methods (1999), pp. 719-719.
|
| |
Software Reliability Engineering, 1994. Proceedings., 5th International Symposium on In Software Reliability Engineering, 1994. Proceedings., 5th International Symposium on (1994), pp. 252-258.
|
| |
Formal Methods and Software Engineering (2004), pp. 15-29.
|
| |
Programming Languages and Systems (2005), pp. 21-30.
|
| |
Dependable Systems and Networks, 2002. DSN 2002. Proceedings. International Conference on In Dependable Systems and Networks, 2002. DSN 2002. Proceedings. International Conference on (2002), 537.
|
| |
In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2007), pp. 339-350.
|
Search
