| |
In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 287-298.
|
| |
In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1998), pp. 25-37.
|
| |
In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation (2003), pp. 196-207.
|
| |
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.
|
| |
Mathematics of Program Construction (2002), pp. 93-106.
|
| |
In Proceedings of the 8th Colloquium on Automata, Languages and Programming (1981), pp. 114-128.
|
| |
In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2008), pp. 235-246.
|
| |
In Selected papers from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages (1997), pp. 76-99.
|
| |
In GULP (1993), pp. 267-284.
|
| |
ACM Comput. Surv., Vol. 28, No. 2. (June 1996), pp. 324-328.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2004), pp. 251-265.
|
| |
Journal of Functional Programming, Vol. 8, No. 04. (1998), pp. 437-444.
|
| |
SIGPLAN Not., Vol. 42, No. 9. (2007), pp. 85-96.
|
| |
In PLDI '01: Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation (2001), pp. 203-213.
|
| |
In LFP '86: Proceedings of the 1986 ACM Conference on LISP and Functional Programming (1986), pp. 351-363.
|
| |
In EMSOFT '07: Proceedings of the 7th ACM and IEEE International Conference on Embedded Software (2007), pp. 7-9.
|
| |
In POPL '09: Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2009), pp. 127-139.
|
| |
Static Analysis (2008), pp. 255-269.
|
| |
|
| |
Innovations in Systems and Software Engineering, Vol. 2, No. 1. (13 March 2006), pp. 49-64.
|
| |
In PEPM '09: Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation (2009), pp. 9-20.
|
| |
In ISSTA '08: Proceedings of the 2008 international symposium on Software testing and analysis (2008), pp. 3-14.
|
| |
Algebraic and Logic Programming (1996), pp. 224-237.
|
| |
In PLDI '06: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (2006), pp. 376-386.
|
| |
|
| |
In POPL '79: Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (1979), pp. 269-282.
|
| |
In VMCAI '09: Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation (2009), pp. 260-274.
|
| |
Journal of Functional Programming, Vol. 18, No. Special Double Issue 5-6. (2008), pp. 821-864.
|
| |
In ICFP '06: Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming (2006), pp. 13-25.
|
| |
In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 127-140.
|
| |
In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2007), pp. 185-198.
|
| |
|
| |
In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 38-48.
|
| |
J Logic Computation, Vol. 2, No. 4. (1 August 1992), pp. 511-547.
|
| |
In SAS '98: Proceedings of the 5th International Symposium on Static Analysis (1998), pp. 351-380.
|
| |
|
| |
J. Log. Program., Vol. 13, No. 2-3. (1992), pp. 103-179.
|
| |
Building the Information Society (2004), pp. 359-366.
|
| |
In POPL '78: Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1978), pp. 84-96.
|
| |
Programming Language Design and Implementation In Programming language design and implementation (June 2008), pp. 339-348.
|
| |
Verification, Model Checking, and Abstract Interpretation In Verification, Model Checking, and Abstract Interpretation (January 2007), pp. 268-282.
|
| |
In LOPSTR '00: Selected Papers form the 10th International Workshop on Logic Based Program Synthesis and Transformation (2001), pp. 147-164.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 212 (2008), pp. 225-239.
|
| |
In POPL '77: Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1977), pp. 238-252.
|
| |
Programming Languages and Systems (2005), pp. 21-30.
|
| |
In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 316-331.
|
| |
Information Processing Letters, Vol. 91, No. 5. (15 September 2004), pp. 233-244.
|
| |
In SAC '94: Proceedings of the 1994 ACM symposium on Applied computing (1994), pp. 388-393.
|
| |
In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 170-181.
|
| |
|
Search
