POPL
1997
ACM
14 years 5 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...
POPL
1997
ACM
14 years 5 months ago
1997
ACM
The following theorem of Huet and L
POPL
1997
ACM
14 years 5 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...
POPL
1997
ACM
14 years 5 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...
POPL
1997
ACM
14 years 6 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...
POPL
1997
ACM
14 years 6 months ago
1997
ACM
POPL
1997
ACM
14 years 6 months ago
1997
ACM
We investigateparametric polymorphism in message-basedconcurrentprogramming, focusing on behavioral equivalences in a typed process calculus analogous to the polymorphic lambdacal...
POPL
1997
ACM
14 years 6 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...
POPL
1997
ACM
14 years 6 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...
POPL
1997
ACM
14 years 6 months ago
1997
ACM
