Sciweavers

ELP
1991
15 years 8 months ago
Natural Semantics and Some of Its Meta-Theory in Elf
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
Spiro Michaylov, Frank Pfenning
COMPGEOM
1994
ACM
15 years 8 months ago
Spheres, Molecules, and Hidden Surface Removal
We devise techniques to manipulate a collection of loosely interpenetrating spheres in threedimensional space. Our study is motivated by the representation and manipulation of mol...
Dan Halperin, Mark H. Overmars
ECOOP
1991
Springer
15 years 8 months ago
What is Type-Safe Code Reuse?
Jens Palsberg, Michael I. Schwartzbach
ECOOP
1991
Springer
15 years 8 months ago
Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches
: Polymorphic inline caches (PICs) provide a new way to reduce the overhead of polymorphic message sends by extending inline caches to include more than one cached lookup result pe...
Urs Hölzle, Craig Chambers, David Ungar