Type-Based Useless-Code Elimination for Functional Programs
SAIG '00 Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation
Useless-Code Detection and Elimination for PCF with Algebraic Data types
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
A formalization of Static Analyses in System F
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
A Static Calculus of Dependencies for the -Cube
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Modular control-flow analysis with rank 2 intersection types
Mathematical Structures in Computer Science
A conjunctive type system for useless-code elimination
Mathematical Structures in Computer Science
Automatic useless-code elimination for HOT functional programs
Journal of Functional Programming
On the rôle of minimal typing derivations in type-driven program transformation
Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications
Approximation semantics and expressive predicate assignment for object-oriented programming
TLCA'11 Proceedings of the 10th international conference on Typed lambda calculi and applications
Semantic Types and Approximation for Featherweight Java
Theoretical Computer Science
Hi-index | 0.00 |