control-flow-and-types.[dvi,ps].Z
    [Relationships between type systems (when extended to perform control-flow
     analysis) and control-flow systems (when extended to perform type analysis)]
     N. Heintze,
     "Control-flow Analysis and Type Systems"
     Carnegie Mellon University Technical Report CMU-CS-94-227,
     December 1994.

engine.dvi.Z: 
    [Combination of set constraints and abstract interpretation for
     analysis of logic programs.]
     N. Heintze and J. Jaffar,
     "An Engine for Logic Program Analysis",
     Proc. 7th IEEE Symp. on Logic in Computer Science, Santa Cruz,
     pp. 318-328, June 1992.

fpt-tr.dvi.Z:
    [Analysis of logic programs based on bottom-up "Tp" semantics.]
    N. Heintze and J. Jaffar,
    "A Finite Presentation Theorem for Approximating Logic Programs",
    IBM Technical Report RC 16089 (# 71415), 66 pp., August 1990.
    (abstract appears in Proc. 17th ACM Symp. on Principles of
    Programming Languages, San Francisco, pp. 197-209, January 1990)
	      
implementation.dvi.Z
    [Implementation of set-based analysis for logic programs]
    "Practical Aspects of Set-Based Analysis",
    Joint International Conference and Symposium on Logic Programming,
    pp 765--779, 1992.

ml-pe.[dvi,ps]
    [Partial evaluator using set-based analysis]
    ML Partial Evaluation using Set-Based Analysis,
    K. Malmkjaer, N. Heintze and O. Danvy,
    ACM SIGPLAN Workshop on ML and its Applications (ML'94).

ppcp.ps.Z
    [Survey paper]
    N. Heintze and J. Jaffar,
    "Set Constraints and Set-Based Analysis"
    invited paper, Proceedings of the $2^{nd}$ International Workshop on
    Principles and Practice of Constraints Programming, 1994. 

sba-ml.ps.Z
    [Development of set based analysis for ML programs; includes higher-order
     functions, refs, arrays, callcc, exceptions]
    N. Heintze,
    "Set Based Analysis of ML Programs",
    Carnegie Mellon University Technical Report CMU-CS-93-193,
    July 1993.

sba-ml-arith.[dvi,ps].Z
    [Analysis of arithmetic using set based analysis techniques
	(developed in the context of smlnj)]
    N. Heintze,
    "Set Based Analysis of Arithmetic",
    Carnegie Mellon University Technical Report CMU-CS-93-193,
    July 1993.

sc-analysis.[dvi,ps].Z
    [Survey of use of set constraints in program analysis.]
    N. Heintze,
    "Set Constraints in Program Analysis",
    July, 1993.

set-constraints.dvi.Z
    [General treatment of set constraints, with decision procedure for 
     definite case.]
    N. Heintze and J. Jaffar,
    "A Decision Procedure for a Class of Herbrand Set Constraints",
    Carnegie Mellon University Technical Report CMU-CS-91-110,
    42 pp., February 1991.
    (abstract appears in Proc. 5th IEEE Symp. on Logic in Computer Science,
     Philadelphia, pp. 42-51, June 1990.)

thesis-intro.ps.Z, thesis-refs.ps.Z
    [Introduction and references from thesis.]
    N. Heintze,
    "Set Based Program Analysis",
    Ph.D. thesis, School of Computer Science,
    Carnegie Mellon University, October 1992.