|
Conferences in DBLP
- John Hannan, Patrick Hicks
Higher-Order unCurrying. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:1-11 [Conf]
- Saumya K. Debray, Robert Muth, Matthew Weippert
Alias Analysis of Executable Code. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:12-24 [Conf]
- Bruno Blanchet
Escape Analysis: Correctness Proof, Implementation and Experimental Results. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:25-37 [Conf]
- David A. Schmidt
Data Flow Analysis is Model Checking of Abstract Interpretations. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:38-48 [Conf]
- Simon L. Peyton Jones, Mark Shields, John Launchbury, Andrew P. Tolmach
Bridging the Gulf: A Common Intermediate Language for ML and Haskell. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:49-61 [Conf]
- Zena M. Ariola, Amr Sabry
Correctness of Monadic State: An Imperative Call-by-Need Calculus. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:62-74 [Conf]
- Yasuhiko Minamide
A Functional Representation of Data Structures with a Hole. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:75-84 [Conf]
- J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew
From System F to Typed Assembly Language. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:85-97 [Conf]
- Denis Barthou, Albert Cohen, Jean-Francois Collard
Maximal Static Expansion. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:98-106 [Conf]
- Kathleen Knobe, Vivek Sarkar
Array SSA Form and Its Use in Parallelization. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:107-120 [Conf]
- Rakesh Ghiya, Laurie J. Hendren
Putting Pointer Analysis to Work. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:121-133 [Conf]
- Thomas Ball, Peter Mataga, Shmuel Sagiv
Edge Profiling versus Path Profiling: The Showdown. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:134-148 [Conf]
- Raymie Stata, Martín Abadi
A Type System for Java Bytecode Subroutines. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:149-160 [Conf]
- Tobias Nipkow, David von Oheimb
Javalight is Type-Safe - Definitely. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:161-170 [Conf]
- Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
Classes and Mixins. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:171-183 [Conf]
- Christian S. Collberg, Clark D. Thomborson, Douglas Low
Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:184-196 [Conf]
- Jens Palsberg, Christina Pavlopoulou
From Polyvariant Flow Information to Intersection and Union Types. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:197-208 [Conf]
- Thomas P. Jensen
Inference of Polymorphic and Conditional Strictness Properties. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:209-221 [Conf]
- Greg DeFouw, David Grove, Craig Chambers
Fast Interprocedural Class Analysis. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:222-236 [Conf]
- Rastislav Bodík, Sadun Anik
Path-Sensitive Value-Flow Analysis. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:237-251 [Conf]
- Benjamin C. Pierce, David N. Turner
Local Type Inference. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:252-265 [Conf]
- Susumu Nishimura
Static Typing for Dynamic Messages. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:266-278 [Conf]
- Aleksy Schubert
Second-Order Unification and Type Inference for Church-Style Polymorphism. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:279-288 [Conf]
- Mark Shields, Tim Sheard, Simon L. Peyton Jones
Dynamic Typing as Staged Type Inference. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:289-302 [Conf]
- Andrea Asperti, Harry G. Mairson
Parallel Beta Reduction is not Elementary Recursive. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:303-315 [Conf]
- Zhenjiang Hu, Masato Takeichi, Wei-Ngan Chin
Parallelization in Calculational Forms. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:316-328 [Conf]
- Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright
Single and Loving It: Must-Alias Analysis for Higher-Order Languages. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:329-341 [Conf]
- Alexander Aiken, David Gay
Barrier Inference. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:342-354 [Conf]
- Geoffrey Smith, Dennis M. Volpano
Secure Information Flow in a Multi-Threaded Imperative Language. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:355-364 [Conf]
- Nevin Heintze, Jon G. Riecke
The SLam Calculus: Programming with Secrecy and Integrity. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:365-377 [Conf]
- James Riely, Matthew Hennessy
A Typed Language for Distributed Mobile Processes (Extended Abstract). [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:378-390 [Conf]
- Xavier Leroy, François Rouaix
Security Properties of Typed Applets. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:391-403 [Conf]
|