A type system equivalent to flow analysis
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formal language, grammar and set-constraint-based program analysis by abstract interpretation
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Trace-Based Abstract Interpretation of Operational Semantics
Lisp and Symbolic Computation
Higher-order value flow graphs
Nordic Journal of Computing
Interprocedural Control Flow Analysis
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
The essence of computation
Mathematical Structures in Computer Science
CPS transformation of flow information
Journal of Functional Programming
Control-flow analysis of functional programs
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |