Strictness analysis—a practical approach
Proc. of a conference on Functional programming languages and computer architecture
Strictness analysis and polymorphic invariance
on Programs as data objects
The theory of strictness analysis for higher order functions
on Programs as data objects
Projections for strictness analysis
Proc. of a conference on Functional programming languages and computer architecture
Finding fixed points in finite lattices
Proc. of a conference on Functional programming languages and computer architecture
Evaluation transformers—a model for the parallel evolution of functional languages
Proc. of a conference on Functional programming languages and computer architecture
Frontiers and open sets in abstract interpretation
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Reasoning about simple and exhaustive demand in higher-order lazy languages
Proceedings of the 5th ACM conference on Functional programming languages and computer architecture
Term graph rewriting: theory and practice
Term graph rewriting: theory and practice
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Functional Programming and Parallel Graph Rewriting
Functional Programming and Parallel Graph Rewriting
Deriving algorithms from type inference systems: application to strictness analysis
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Fast strictness analysis based on demand propagation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Effective Strictness Analysis with HORN Constraints
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
A syntactic method for finding least fixed points of higher-order functions over finite domains
Journal of Functional Programming
The Impact of seq on Free Theorems-Based Program Transformations
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Safety of nöcker's strictness analysis
Journal of Functional Programming
Making "stricterness" more relevant
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Making "stricterness" more relevant
Higher-Order and Symbolic Computation
The Impact of seq on Free Theorems-Based Program Transformations
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Hi-index | 0.00 |