A bibliography on partial evaluation
ACM SIGPLAN Notices
Partial computation as a practical aid in the compiler construction course
ACM SIGCSE Bulletin
A method for specializing logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using types to avoid redundant specialization
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Software Specialization Via Symbolic Execution
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |