DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Control flow analysis
Control flow analysis
Catamorphic Approach to Program Analysis
Control-Flow Analysis of Functional Programs
Refunctionalization of Abstract Abstract Machines Bridging the Gap Between Abstract Abstract Machines and Abstract Definitional Interpreters (Functional Pearl)
The Complexity of Flow Analysis in Higher-Order Languages
N350.Doc ISOSTD ISO Template Version 3.0 1997-02-07 © ISO/IEC ISO/IEC PDTR 15942
Control-Flow Analysis of Functional Programs
Research Summary
A Study of Control and Type-Flow Analyses for Higher-Order Programming Languages
Eliminating Dead Code on Recursive Data ?
Constraints to Stop Deforestation
Lecture Notes: Control Flow Analysis for Functional Languages
Hybrid Eager and Lazy Evaluation For
Control-Flow Analysis of Higher-Order Languages Olin
CFA2: a Context-Free Approach to Control-Flow Analysis
Lecture Notes: Control Flow Analysis for Functional Languages
Information Flow Control with System Dependence Graphs Improving Modularity, Scalability and Precision for Object Oriented Languages
A Simple CPS Transformation of Control-Flow Information Basic Research in Computer Science
Control Flow Analysis: a Functional Languages Compilation Paradigm
Top View