BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × France
1 × Italy
1 × Poland
1 × The Netherlands
1 × United Kingdom
11 × USA
2 × Japan
Collaborated with:
J.Jaffar ∅ D.A.McAllester J.G.Riecke O.Tardieu A.Banerjee S.Michaylov P.J.Stuckey J.Williams B.D.Ackland R.Voicu M.Abadi R.H.C.Yap
Talks about:
analysi (13) program (5) set (4) calculus (3) flow (3) base (3) million (2) control (2) system (2) logic (2)

Person: Nevin Heintze

DBLP DBLP: Heintze:Nevin

Facilitated 1 volumes:

PEPM 2004Ed

Contributed to:

ASIA-PEPM 20022002
DATE 20022002
PLDI 20012001
POPL 20002000
LICS 19991999
POPL 19991999
POPL 19981998
ICFP 19971997
LICS 19971997
PLDI 19971997
ICLP 19951995
SAS 19951995
LFP 19941994
JICSLP 19921992
LICS 19921992
LICS 19901990
POPL 19901990
NACLP 19891989
ICLP 19871987

Wrote 20 papers:

ASIA-PEPM-2002-Heintze #alias #analysis #c
Aliasing analysis for a million lines of C (NH), pp. 47–49.
DATE-2002-WilliamsHA #communication #parallel
Communication Mechanisms for Parallel DSP Systems on a Chip (JW, NH, BDA), pp. 420–422.
PLDI-2001-HeintzeT #analysis #pointer
Demand-Driven Pointer Analysis (NH, OT), pp. 24–34.
PLDI-2001-HeintzeT01a #alias #analysis #c #using
Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second (NH, OT), pp. 254–263.
POPL-2000-HeintzeJV #analysis #framework #verification
A Framework for Combining Analysis and Verification (NH, JJ, RV), pp. 26–39.
LICS-1999-BanerjeeHR #analysis #polymorphism #λ-calculus
Region Analysis and the Polymorphic λ Calculus (AB, NH, JGR), pp. 88–97.
POPL-1999-AbadiBHR #calculus #dependence
A Core Calculus of Dependency (MA, AB, NH, JGR), pp. 147–160.
POPL-1998-HeintzeR #calculus #programming
The SLam Calculus: Programming with Secrecy and Integrity (NH, JGR), pp. 365–377.
ICFP-1997-HeintzeM #analysis #complexity #on the
On the Complexity of Set-Based Analysis (NH, DAM), pp. 150–163.
LICS-1997-HeintzeM #analysis #on the #polynomial #type system
On the Cubic Bottleneck in Subtyping and Flow Analysis (NH, DAM), pp. 342–351.
PLDI-1997-HeintzeM #analysis #control flow #linear #transitive
Linear-time Subtransitive Control Flow Analysis (NH, DAM), pp. 261–272.
ICLP-1995-HeintzeJ #algorithm #analysis
A Generic Algorithm for CLP Analysis (NH, JJ), pp. 49–63.
SAS-1995-Heintze #analysis #control flow #type system
Control-Flow Analysis and Type Systems (NH), pp. 189–206.
LFP-1994-Heintze #analysis #ml #source code
Set-Based Analysis of ML Programs (NH), pp. 306–317.
JICSLP-1992-Heintze #analysis #aspect-oriented #set
Practical Aspects of Set Based Analysis (NH), pp. 765–779.
LICS-1992-HeintzeJ #logic programming #program analysis
An Engine for Logic Program Analysis (NH, JJ), pp. 318–328.
LICS-1990-HeintzeJ #constraints #set
A Decision Procedure for a Class of Set Constraints (NH, JJ), pp. 42–51.
POPL-1990-HeintzeJ #approximate #finite #logic programming #source code #theorem
A Finite Presentation Theorem for Approximating Logic Programs (NH, JJ), pp. 197–209.
NACLP-1989-HeintzeMSY #metaprogramming #on the
On Meta-Programming in CLR(R) (NH, SM, PJS, RHCY), pp. 52–66.
ICLP-1987-HeintzeMS87 #problem
CLP(R) and Some Electrical Engineering Problems (NH, SM, PJS), pp. 675–703.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.