Semantics-Based Program Manipulation

发表

Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '03), San Diego, California, USA, June 7th, 2003

Semantics-Based Program Manipulation, 2003 .

Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991

Ifip, Semantics-Based Program Manipulation, 1991, PEPM.

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark, June 14-16, 1993

Semantics-Based Program Manipulation, Acm Sigplan, Semantics-based Program Manipulation, 1993, PEPM.

PPoPP '03 : the Ninth ACM SIGPLAN Sympoium on Principles and Practice of Parallel Programming, June 11-13, 2003 [and] PEPM '3 : ACM SIGPLAN workshop on Partial Evaluation and Semantics-based Program Manipulation, June 7, 2003, San Diego, CA, USA

Semantics-Based Program Manipulation, 2003 .

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997

Semantics-Based Program Manipulation, 1997, PEPM.

Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '00), Boston, Massachusetts, USA, January 22-23, 2000

Semantics-Based Program Manipulation, 2000, PEPM.

Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002

Semantics-Based Program Manipulation, 2002 .

PEPM'04 : proceedings of the 2004 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : August 24-25, 2004, Verona, Italy

Semantics-Based Program Manipulation, 2004 .

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : PEPM'95, La Jolla, California, June 21-23, 1995

Semantics-Based Program Manipulation, 1995 .