Backward Type Inference Generalises Type Checking

Lunjin Lu and Andy King

Proceedings of the Ninth Static Analysis Symposium . Download (PDF)

Bibtex Record

@inproceedings{LuKingSAS02,
author={Lunjin Lu and Andy King},
title= { Backward Type Inference Generalises Type Checking},
booktitle ={Proceedings of the Ninth Static Analysis Symposium},
publisher ={Springer-Verlag},
year={2002},
keywords = {Backward analysis, type inference, abstract interpretation },
url = {http://www.oakland.edu/~l2lu/pubs/SAS02.ps}
}