Type-based program analysis is a form of
ProgramAnalysis
in which type information is used to infer properties of a program.
JensPalsberg
, Type-Based Analysis and Applications. Invited paper for
PASTE
'01
http://www.cs.purdue.edu/homes/palsberg/tba/
Gives a survey of the literature on type-based analysis.
CategoryAnalysis
| Contributions by
EelcoVisser
Revision: r1.1 - 10 Jun 2001 - 17:00 -
EelcoVisser
Transform
>
TypeBasedAnalysis
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki?
Send feedback