Data structures and network algorithms
Data structures and network algorithms
Three partition refinement algorithms
SIAM Journal on Computing
Mechanical translation of set theoretic problem specifications into efficient RAM code-A case study
Journal of Symbolic Computation
The interface description language: definition and use
The interface description language: definition and use
Tutorial notes on partial evaluation
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Towards increased productivity of algorithm implementation
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
ACM SIGACT News
Using multiset discrimination to solve language processing problems without hashing
Theoretical Computer Science
Proceedings of the IFIP TC 2 WG 2.1 international workshop on Algorithmic languages and calculi
Automatic data structure choice in a language of very high level
Communications of the ACM
Compiler Design
Automated development of software for program analysis and transformation
ACM SIGSOFT Software Engineering Notes
Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation
Program termination analysis in polynomial time
ACM Transactions on Programming Languages and Systems (TOPLAS)
Generic discrimination: sorting and paritioning unshared data in linear time
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Optimizing relational algebra operations using generic equivalence discriminators and lazy products
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Hi-index | 0.00 |