83
Voted
POPL
1997
ACM
15 years 3 months ago
1997
ACM
Defining the collecting semantics is usually the first crucial step in adapting the general methodology of abstract interpretation to the semantic framework or programming languag...
115
Voted
POPL
1997
ACM
15 years 3 months ago
1997
ACM
The following theorem of Huet and L
120
Voted
POPL
1997
ACM
15 years 3 months ago
1997
ACM
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
100
Voted
POPL
1997
ACM
15 years 3 months ago
1997
ACM
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...
86
Voted
POPL
1997
ACM
15 years 3 months ago
1997
ACM
As parallel machines become part of the mainstream computing environment, compilers will need to apply synchronization optimizations to deliver e cient parallel software. This pap...
71
Voted
POPL
1997
ACM
15 years 3 months ago
1997
ACM
86
Voted
POPL
1997
ACM
15 years 3 months ago
1997
ACM
We investigateparametric polymorphism in message-basedconcurrentprogramming, focusing on behavioral equivalences in a typed process calculus analogous to the polymorphic lambdacal...
117
Voted
POPL
1997
ACM
15 years 3 months ago
1997
ACM
Pizza is a strict superset of Java that incorporates three ideas from the academic community: parametric polymorphism, higher-order functions, and algebraic data types. Pizza is d...
78
Voted
POPL
1997
ACM
15 years 3 months ago
1997
ACM
Proof-carrying code is a framework for the mechanical verification of safety properties of machine language programs, but the problem arises of quis custodiat ipsos custodes—wh...
70
Voted
POPL
1997
ACM
15 years 3 months ago
1997
ACM
