A Fast and Usually Linear Algorithm for Global Flow Analysis
Journal of the ACM (JACM)
A unified approach to global program optimization
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Flow Analysis of Computer Programs
Flow Analysis of Computer Programs
The theory of parsing, translation, and compiling
The theory of parsing, translation, and compiling
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
Program analysis and code generation in an APL/370 compiler
IBM Journal of Research and Development
Type theories and object-oriented programmimg
ACM Computing Surveys (CSUR)
CLOStrophobia: its etiology and treatment
ACM SIGPLAN OOPS Messenger
Global tagging optimization by type inference
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Analysis of recursive types in Lisp-like languages
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
A practical soft type system for Scheme
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
A practical soft type system for scheme
ACM Transactions on Programming Languages and Systems (TOPLAS)
Polymorphic splitting: an effective polyvariant flow analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Type checking, separate compilation and reusability
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Correctly detecting intrinsic type errors in typeless languages such as MATLAB
Proceedings of the 2001 conference on APL: an arrays odyssey
On Abstraction in Software Verification
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Preliminary report on a practical type inference system for common Lisp
ACM SIGPLAN Lisp Pointers
Bidirectional data-flow analyses, type-systematically
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Computing array shapes in MATLAB
LCPC'01 Proceedings of the 14th international conference on Languages and compilers for parallel computing
Optimizing floating point operations in Scheme
Computer Languages
| Hi-index | 0.00 |