Static and dynamic semantics processing
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Partial evaluation of pattern matching in constraint logic programming languages
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Building incremental programs using partial evaluation
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Deductive and inductive synthesis of equational programs
Journal of Symbolic Computation - Special issue on automatic programming
On the relation between functional and data parallel programming languages
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Fortran program specialization
ACM SIGPLAN Notices
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
An Automatic Program Generator for Multi-Level Specialization
Lisp and Symbolic Computation
Constraints to stop higher-order deforestation
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
1998 symposium on partial evaluation
ACM Computing Surveys (CSUR)
Automatic time-bound analysis for a higher-order language
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Multi-Level Specialization (Extended Abstract)
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Generative Programming and Active Libraries
Selected Papers from the International Seminar on Generic Programming
Extraction and Optimization of the Implicit Program Parallelism by Dynamic Partial Evaluation
PAS '97 Proceedings of the 2nd AIZU International Symposium on Parallel Algorithms / Architecture Synthesis
The essence of computation
The abstraction and instantiation of string-matching programs
The essence of computation
Comparative efficiency of general and residual parsers
ACM SIGPLAN Notices
Non-strict execution in parallel and distributed computing
International Journal of Parallel Programming
A Framework-Based Environment for Object-Oriented Scientific Codes
Scientific Programming - The First Annual Object-Oriented Numerics Conference (OON-SKI '93)
On jones-optimal specializers: a case study using unmix
APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems
Partial Structural Synthesis of Programs
Fundamenta Informaticae
Hi-index | 0.00 |