N. Heintze

发表

David A. McAllester, Nevin Heintze, N. Heintze, 1997, ICFP '97.

Linear-time subtransitive control flow analysis

David A. McAllester, Nevin Heintze, N. Heintze, 1997, PLDI '97.

On the cubic bottleneck in subtyping and flow analysis

David A. McAllester, Nevin Heintze, N. Heintze, 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.

A finite presentation theorem for approximating logic programs

Joxan Jaffar, Nevin Heintze, N. Heintze, 1989, POPL '90.

Designing Cryptographic Postage Indicia

Bennet S. Yee, J. Doug Tygar, Nevin Heintze, 1996 .

Cryptographic Postage Indicia

Bennet S. Yee, J. Doug Tygar, Nevin Heintze, 1996, ASIAN.

Semantic Types for Logic Programs 1.1 Background

N. Heintze, J. Jaaar, 1992 .

The CLP(R) Programmer's Manual Version 1.2

Roland H. C. Yap, Peter J. Stuckey, Joxan Jaffar, 1992 .

On Meta { Programming in CLP ( < )

Peter Stuckey, Nevin Heintze, T. J. Watson, 1989 .

Note: This Version of the Paper Has Been Reconstituted with Optical Char

Michael J. Maher, M J Maher, J Minker, 2022 .

Set Based Analysis of Arithmetic

N. Heintze, 1993 .

Set Based Analysis and Arithmetic ( Extended

N. Heintze, 1993 .

Model Checking Electronic Commerce Protocols ( Extended Abstract )

Jeannette M. Wing, J. Tygar, N. Heintze, 1996 .

Subtransitive Cfa Using Types Subtransitive Cfa Using Types

N. Heintze, Bratin Saha, D. Oliva, 1998 .

Propagation for Program Reasoning

N. Heintze, J. Jaffar, 2001 .

Ultra-fast aliasing analysis using CLA: a million lines of C code in a second

N. Heintze, O. Tardieu, 2001, PLDI '01.

ADmmA 278 955 / ML Partial Evaluation using Set-Based Analysis

N. Heintze, O. Danvy, Karoline Malmkjwer, 2022 .

Semantic Types for Logic Programs

Joxan Jaffar, Nevin Heintze, N. Heintze, 1992, Types in Logic Programming.

On Meta-Programming in CLR(R)

Roland H. C. Yap, Peter J. Stuckey, Nevin Heintze, 1989, NACLP.

Conditional Analysis and Verification

Joxan Jaffar, Nevin Heintze, Razvan Voicu, 2000, APLAS.

Analysis of Large Code Bases: The Compile-Link-Analyze Model

Nevin Heintze, N. Heintze, 1999 .

Set-based analysis of ML programs

Nevin Heintze, N. Heintze, 1994, LFP '94.

Set Constraints and Set-Based Analysis

Joxan Jaffar, Nevin Heintze, N. Heintze, 1994, PPCP.

A core calculus of dependency

Martín Abadi, Anindya Banerjee, Jon G. Riecke, 1999, POPL '99.

Design and Correctness of Program Transformations Based on Control-Flow Analysis

Anindya Banerjee, Jon G. Riecke, Nevin Heintze, 2001, TACS.

Meta-Programming in CLP(R)

Roland H. C. Yap, Peter J. Stuckey, Nevin Heintze, 1997, J. Log. Program..

CLP(ℜ) and some electrical engineering problems

Peter J. Stuckey, Nevin Heintze, Spiro Michaylov, 1992, Journal of Automated Reasoning.

Set based program analysis

Nevin Charles Heintze, N. Heintze, 1992 .

A decision procedure for a class of set constraints

Joxan Jaffar, Nevin Heintze, N. Heintze, 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.

The SLam calculus: programming with secrecy and integrity

Jon G. Riecke, Nevin Heintze, N. Heintze, 1998, POPL '98.

Region analysis and the polymorphic lambda calculus

Anindya Banerjee, Jon G. Riecke, Nevin Heintze, 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).

Model checking electronic commerce protocols

Jeannette M. Wing, Nevin Heintze, J. D. Tygar, 1996 .

An engine for logic program analysis

Joxan Jaffar, Nevin Heintze, N. Heintze, 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.

Demand-driven pointer analysis

Olivier Tardieu, Nevin Heintze, N. Heintze, 2001, PLDI '01.