Backward Analysis for Higher-Order Functions Using Inverse Images

author: Tyng-Ruey Chuang and Benjamin Goldberg
publication date: November 1992
cite this with: Tyng-Ruey Chuang and Benjamin Goldberg. Backward Analysis for Higher-Order Functions Using Inverse Images. Technical Report TR1992-620, Department of Computer Science, New York University. November 1992.
link this with: http://tsm.iis.sinica.edu.tw/papers/nyu92tr620/
copyright: all rights reserved
category: Functional Programming
tag:
full paper: postscript

Abstract

 
papers:nyu92tr620:home Last modified: 2007/10/23 17:05