ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Static evaluation of functional programs
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Formally based static analysis of microcode
MICRO 19 Proceedings of the 19th annual workshop on Microprogramming
Compiling strictness into streams
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On strictness and its analysis
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Computation of aliases and support sets
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A collecting interpretation of expressions
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Context information for lazy code generation
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Small domains spell fast strictness analysis
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Strictness analysis: a new perspective based on type inference
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
On the power and limitation of strictness analysis based on abstract interpretation
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Collecting interpretations of expressions
ACM Transactions on Programming Languages and Systems (TOPLAS)
A precise relationship between the deductive power of forward and backward strictness analysis
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Global analysis for partitioning non-strict programs into sequential threads
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
A generic account of continuation-passing styles
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Fast strictness analysis based on demand propagation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Complementation in abstract interpretation
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the power and limitations of strictness analysis
Journal of the ACM (JACM)
On the complexity of escape analysis
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A demand-driven set-based analysis
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The aggregate update problem in functional programming systems
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Variations on strictness analysis
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Towards a semantic theory for equational programming languages
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Making abstract interpretations complete
Journal of the ACM (JACM)
Lazy rewriting on eager machinery
ACM Transactions on Programming Languages and Systems (TOPLAS)
Cheap eagerness: speculative evaluation in a lazy functional language
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Efficient compilation of lazy evaluation
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Higher-order strictness analysis in untyped lambda calculus
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Data flow analysis of applicative programs using minimal function graphs
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Context-sensitive rewriting strategies
Information and Computation
Using Static Analysis to Compile Non-sequential Functional Logic Programs
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
Static inference of properties of applicative programs
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
SKIM - The S, K, I reduction machine
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
ALICE a multi-processor reduction machine for the parallel evaluation CF applicative languages
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Incremental Software Development Method Based on Abstract Interpretation
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Higher-order pattern complement and the strict λ-calculus
ACM Transactions on Computational Logic (TOCL)
Efficient compilation of lazy evaluation
ACM SIGPLAN Notices - Best of PLDI 1979-1999
Smarter garbage collection with simplifiers
Proceedings of the 2006 workshop on Memory system performance and correctness
Removing redundant arguments automatically
Theory and Practice of Logic Programming
Demand analysis with partial predicates
Theory and Practice of Logic Programming
Bi-inductive Structural Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Bi-inductive structural semantics
Information and Computation
Programming Errors in Traversal Programs Over Structured Data
Electronic Notes in Theoretical Computer Science (ENTCS)
Making "stricterness" more relevant
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Abstract interpretation of non-monotone bi-inductive semantic definitions
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
Making "stricterness" more relevant
Higher-Order and Symbolic Computation
Proving and disproving termination of higher-order functions
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
On the power of abstract interpretation
Computer Languages
Model Checking Higher-Order Programs
Journal of the ACM (JACM)
Are needed redexes really needed?
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
A modular and generic analysis server system for functional logic programs
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
Hi-index | 0.00 |