| |
In Eleventh International Conference on Data Engineering (1995), pp. 3-14.
|
| |
SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 123-134.
|
| |
In ICSE '07: Proceedings of the 29th International Conference on Software Engineering (2007), pp. 240-250.
|
| |
In ICSM '04: Proceedings of the 20th IEEE International Conference on Software Maintenance (2004), pp. 188-197.
|
| |
In ASE '06: Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (2006), pp. 231-240.
|
| |
In Symposium on Operating Systems Principles (2001), pp. 57-72.
|
| |
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, Vol. 30, No. 5. (September 2005), pp. 306-315.
|
| |
IEEE Trans. Softw. Eng., Vol. 33, No. 12. (December 2007), pp. 818-836.
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 33, No. 11. (08 October 2007), pp. 725-743.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 30, No. 4. (July 2005), pp. 1-5.
|
| |
In Proceedings of the ACM SIGMOD International Conference on Management of Data (1996), pp. 493-504.
|
| |
In ICSE '07: Proceedings of the 29th international conference on Software Engineering (2007), pp. 333-343.
|
| |
SIGPLAN Notices In Proceedings of the ACM {SIGPLAN} '90 Conference on Programming Language Design and Implementation, Vol. 25, No. 6. (June 1990), pp. 234-245.
|
| |
Sci. Comput. Program., Vol. 8, No. 2. (April 1987), pp. 173-202.
|
| |
In PPDP '03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (2003), pp. 8-19.
|
| |
|
| |
In SIGPLAN '84: Proceedings of the 1984 SIGPLAN symposium on Compiler construction, Vol. 19, No. 6. (June 1984), pp. 37-47.
|
| |
In Database Systems for Advanced Applications (1995), pp. 53-60.
|
| |
|
| |
Lecture Notes in Computer Science, Vol. 1782 (2000), 56.
|
| |
Lecture Notes in Computer Science, Vol. 2215 (2001)
|
| |
In ICFP '97: Proceedings of the second ACM SIGPLAN international conference on Functional programming, Vol. 32, No. 8. (August 1997), pp. 25-37.
|
| |
In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 39, No. 1. (January 2004), pp. 89-98.
|
| |
In PEPM '95: Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (1995), pp. 146-155.
|
| |
In ACM '72: Proceedings of the ACM annual conference (1972), pp. 717-740.
|
| |
In PPDP '01: Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming (2001), pp. 162-174.
|
| |
|
| |
Formal Aspects of Computing, Vol. 9, No. 3. (1997), pp. 331-348.
|
| |
In Mathematics of Program Construction. Proceedings, Vol. 1837 (2000), pp. 187-212.
|
| |
In Symposium on Principles of Programming Languages (2002), pp. 283-294.
|
| |
|
| |
|
| |
In PEPM '02: Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, Vol. 37, No. 3. (March 2002), pp. 41-51.
|
| |
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. 10-19.
|
| |
In IJCAI (1985), pp. 219-221.
|
| |
In FLOPS '99: Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming (1999), pp. 300-318.
|
| |
In PEPM '04: Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2004), pp. 178-189.
|
| |
In CSC '90: Proceedings of the 1990 ACM annual conference on Cooperation (1990), pp. 398-403.
|
Search
