Bidirectional data flow analysis for type inferencing.
From MaRDI portal
Publication:1399007
DOI10.1016/S1477-8424(03)00012-5zbMath1056.68054WikidataQ59505648 ScholiaQ59505648MaRDI QIDQ1399007
Alan Mycroft, Dhananjay M. Dhamdhere, Uday P. Khedker
Publication date: 7 August 2003
Published in: Computer Languages, Systems \& Structures (Search for Journal in Brave)
68N01: General topics in the theory of software
Cites Work
- Properties of data flow frameworks: A unified model
- Monotone data flow analysis frameworks
- A theory of type polymorphism in programming
- A solution to a problem with Morel and Renvoise's “Global optimization by suppression of partial redundancies”
- Monoids for Rapid Data Flow Analysis
- Global optimization by suppression of partial redundancies
- Dynamic typing in polymorphic languages
- The Principal Type-Scheme of an Object in Combinatory Logic
- Unnamed Item
- Unnamed Item
- Unnamed Item