Small domains spell fast strictness analysis
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Algebraic programming in the APS system
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Algebraic programs optimization
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Hi-index | 0.00 |