Partial Evaluation: Practice and Theory: DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 (Lecture Notes in Computer Science, 1706) 1999 · ENGLISH · PDF View details →
Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 2619) 2003 · ENGLISH · PDF View details →
