Gary Lindstrom

Learn More
We unbundle several roles of classes in existing languages by providing a suite of operators independently controlling such e ects as combination modi cation encapsulation name resolution and sharing all on the single notion of module All module operators are forms of inheritance Thus inheritance not only is not in con ict with modularity in our system but(More)
An interface definition language (<sc>IDL</sc>) is a nontraditional language for describing interfaces between software components. <sc>IDL</sc> compilers generate "stubs" that provide separate communicating processes with the abstraction of local object invocation or procedure call. High-quality stub generation is essential for applications to benefit from(More)
Summary form only given. Conforming to the underlying memory consistency rules is a fundamental requirement for implementing shared memory systems and developing multiprocessor programs. In order to promote understanding and enable automated verification, it is highly desirable that a memory model specification be both declarative and executable. We present(More)
Two new algorithms are presented for list structure copying using bounded workspace. The first, of primarily theoretical interest, shows that without cell tag bits the task can be performed in time <italic>n</italic><supscrpt>2</supscrpt>. The second algorithm, assuming one tag bit in each cell, delivers attractive practical speed. Any noncyclic structure(More)
Standardized language level support for threads is one of the most important features of Java. However, defining the Java Memory Model (JMM) has turned out to be a major challenge. Several models produced to date are not as easily comprehensible and comparable as first thought. Given the growing interest in multithreaded Java programming, it is essential to(More)
Interface deenition language (IDL) compilers generate \stub functions" that provide separate communicating processes with the abstraction of local object invocation or procedure call. Unfortunately, these compilers have not kept pace with recent advances in fast network technologies and component-based software design. Typical IDL compilers do little(More)