| |
|
| |
|
| |
Artif. Intell., Vol. 147, No. 1-2. (2003), pp. 163-223.
|
| |
|
| |
|
| |
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.
|
| |
Acta Informatica, Vol. 7, No. 3. (1977), pp. 305-317.
|
| |
SIGPLAN Not., Vol. 43, No. 11. (2008), pp. 84-86.
|
| |
ACM Comput. Surv., Vol. 31, No. 1. (March 1999), pp. 63-103.
|
| |
In LOPSTR '00: Selected Papers form the 10th International Workshop on Logic Based Program Synthesis and Transformation (2001), pp. 147-164.
|
| |
ACM Comput. Surv., Vol. 28, No. 4. (December 1996), pp. 644-652.
|
| |
In SIGMOD '07: Proceedings of the 2007 ACM SIGMOD international conference on Management of data (2007), pp. 1029-1040.
|
| |
|
| |
In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2007), pp. 339-350.
|
| |
Higher-Order and Symbolic Computation, Vol. 12, No. 4. (1999), pp. 381-391.
|
| |
Journal of the ACM, Vol. 24, No. 1. (1977), pp. 44-67.
|
| |
Theory of Computing Systems, Vol. 2, No. 2. (1 June 1968), pp. 127-145.
|
| |
SIGPLAN Not., Vol. 42, No. 10. (October 2007), pp. 57-76.
|
| |
In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation (2006), pp. 387-400.
|
| |
SIGPLAN Not., Vol. 35, No. 5. (May 2000), pp. 57-69.
|
| |
In SIGSOFT '06/FSE-14: Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering (2006), pp. 69-80.
|
| |
In ISSTA '00: Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis, Vol. 25, No. 5. (September 2000), pp. 113-123.
|
| |
In OOPSLA '03: Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (2003), pp. 240-260.
|
| |
In POPL '73: Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1973), pp. 194-206.
|
| |
In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 170-181.
|
| |
In IFIP Congress (1) (1968), pp. 456-461.
|
| |
In PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation (1988), pp. 24-31.
|
| |
ACM Lett. Program. Lang. Syst., Vol. 1, No. 4. (December 1992), pp. 323-337.
|
| |
|
| |
In POPL '78: Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1978), pp. 84-96.
|
| |
In POPL '82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1982), pp. 66-74.
|
| |
In Symposium on Principles of Programming Languages (1996), pp. 1-15.
|
| |
In Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages (1991), pp. 151-178.
|
| |
|
| |
No. CS-2001-13. (JanuaryAugust 2001)
|
| |
In Conference on Object-oriented programming, systems, languages, and applications (OOPSLA'98) (1998), pp. 36-44.
|
| |
Lecture Notes in Computer Science, Vol. 2028 (2001)
|
| |
In European Symposium on Programming (1999), pp. 2-19.
|
| |
IEEE Trans. Parallel Distrib. Syst., Vol. 1, No. 1. (January 1990), pp. 35-47.
|
| |
SIGPLAN Not., Vol. 41, No. 6. (June 2006), pp. 364-375.
|
| |
In Languages and Compilers for Parallel Computing (1995), pp. 515-533.
|
| |
ACM Lett. Program. Lang. Syst., Vol. 1, No. 3. (September 1992), pp. 243-260.
|
| |
SIGPLAN Not., Vol. 40, No. 1. (January 2005), pp. 310-323.
|
| |
Computer Languages, Vol. 19, No. 2. (1993), pp. 119-134.
|
| |
In PEPM '03: Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, Vol. 38, No. 10. (October 2003), pp. 55-65.
|
| |
|
| |
|
| |
In TAPSOFT (1997), pp. 381-392.
|
| |
|
CiteULike
bunge's CiteULike
Search
