Type-based analysis and applications
- 1 June 2001
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 43 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- A calculus with polymorphic and polyvariant flow typesJournal of Functional Programming, 2002
- Partial redundancy elimination for access path expressionsSoftware: Practice and Experience, 2001
- Region-Based Memory ManagementInformation and Computation, 1997
- Closure analysis in constraint formACM Transactions on Programming Languages and Systems, 1995
- A Syntactic Approach to Type SoundnessInformation and Computation, 1994
- The Type and Effect DisciplineInformation and Computation, 1994
- Strictness and totality analysisPublished by Springer Nature ,1994
- Interprocedural slicing using dependence graphsACM Transactions on Programming Languages and Systems, 1990
- Automatic binding time analysis for a typed λ-calculusScience of Computer Programming, 1988