Вы здесь

Главная

Conf. Record of POPL 98: The 25th ACM SIGPLAN-SIGACT, Symp. on Principles of Programming Languages

Связанные издания:

A Functional Representation of Data Structures with a Hole
Alias Analysis of Executable Code
Array SSA from Its Use in Parallelization
A Typed Language for Distributed Mobile Processes
Bridging the Gulf: A Common Intermediate Languge for ML and Haskell
Classes and Mixins
Data Flow Analysis is Model Checking of Abstract Interpretations
Dynamic Typing as Staged Type Inference
Edge Profiling versus Path Profiling: The Showdown
Escape Analysis: Correctness Proof, Implementation and Experimental Results
Fast Interprocedural Class Analysis
From System F to Typed Assembly Language
Higher-Order UnCurrying
Javalight in Type-Safe - Definitely
Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs
Maximal Static Expansion
Parallelization in Calculational Forms
Path-Sensitive Value-Flow Analysis
Putting Pointer Analysis to Work
Second-Order Unification and Type Inference for Church-Style Polymorphism
Single and Loving It: Must-Alias Analysis for Higher-Order Languages
Static Typing for Dynamic Messages