Searching for authors named "Nevin Heintze" – sorted by Relevance.
54 documents found, showing 1 through 10.
Next 10 →
-
Set Based Analysis of ML Programs (Extended Abstract)
- …Set Based Analysis of ML Programs (Extended Abstract) NEVIN HEINTZE School of Computer Science…
- Cited by 2 (0 self) – Add To MetaCart
-
Set Constraints in Program Analysis
- …Set Constraints in Program Analysis NEVIN HEINTZE School of Computer Science Carnegie Mellon…
- Cited by 5 (1 self) – Add To MetaCart
-
Set-Based Analysis of ML Programs (Extended Abstract)
- …Set-Based Analysis of ML Programs (Extended Abstract) Nevin Heintze y School of Computer…
- Cited by 3 (0 self) – Add To MetaCart
-
Analysis of Large Code Bases: The Compile-Link-Analyze Model
- …Analysis of Large Code Bases: The Compile-Link-Analyze Model Nevin Heintze Bell Laboratories…
- Cited by 9 (2 self) – Add To MetaCart
-
Practical Aspects of Set Based Analysis
- …Practical Aspects of Set Based Analysis Nevin Heintze School of Computer Science Carnegie Mellon…
- Cited by 20 (1 self) – Add To MetaCart
-
Control-Flow Analysis and Type Systems
- …Control-Flow Analysis and Type Systems ? Nevin Heintze ?? School of Computer Science Carnegie…
- Cited by 44 (1 self) – Add To MetaCart
-
Scalable Document Fingerprinting
- …Scalable Document Fingerprinting (Extended Abstract) Nevin Heintze Bell Laboratories Murray Hill…
- Cited by 50 (0 self) – Add To MetaCart
-
Ultra-fast aliasing analysis using CLA: a million lines of C code in a second
- …Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second 1 Nevin Heintze…
- Cited by 93 (0 self) – Add To MetaCart
-
On the Complexity of Set-Based Analysis
- …On the Complexity of Set-Based Analysis (1288.232) David McAllester, Nevin Heintze AT&T Research…
- Cited by 7 (0 self) – Add To MetaCart
-
Timed Models for Protocol Security
- …Timed Models for Protocol Security Nevin Heintze and J. D. Tygar January, 1992 CMU-CS-92…
- Cited by 3 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
