51 citations found. Retrieving documents...
S. P. Harbison. Modula-3. Prentice Hall, 1991.

 Home/Search   Document Not in Database   Context   Related Articles   Check  

This paper is cited by the following papers:

First 50 documents  Next 50

Implementing Overloading and Polymorphism in Cforall - Bilson (2003)   (Correct)
Units: Cool Modules for HOT Languages - Flatt, Felleisen (1998)   (79 citations)  (Correct)
Comprehensive Synchronization Elimination for Java - Aldrich, Sirer, Chambers..   (3 citations)  (Correct)
Programming Languages for Reusable Software Components - Flatt (1999)   (10 citations)  (Correct)
Operating System Support for Emerging Application Domains - Clarke (2000)   (Correct)
Aspect Weaving as Component Knitting: Separating Concerns .. - Eide, Reid, Flatt.. (2001)   (1 citation)  (Correct)
Safe Kernel Extensions Without Run-Time Checking - Necula, Lee (1996)   (254 citations)  (Correct)
Pthreads and Applications of Mutex-Abstraction - Hesselink, Jonker (2001)   (Correct)
Comprehensive Synchronization Elimination for Java - Aldrich, Sirer, Chambers.. (2000)   (3 citations)  (Correct)
Safety-Checking of Machine Code - Xu (2000)   (25 citations)  (Correct)
Exploratory Programming Of Distributed 3D Graphics Applications - MacIntyre (2000)   (Correct)
Program Development and Performance Prediction on BSP Machines.. - Knee (1994)   (9 citations)  (Correct)
Application of Finite Automata in Debugging Natural.. - Kowaltowski.. (1993)   (1 citation)  (Correct)
Knit: Component Composition for Systems Software - Reid, Flatt, Stoller, al. (2000)   (20 citations)  (Correct)
Automatic Visualization of 3D Complexes - Lozada, de Mendonça, Stolfi (1999)   (Correct)
Await Constructs for a Crossing - Hesselink (2000)   (Correct)
Synchronization Primitives for Threads - Hesselink, Jonker (2000)   (Correct)
Equational Reasoning for Linking with First-Class Primitive.. - Wells, Vestergaard (2000)   (8 citations)  (Correct)
Confluent Equational Reasoning for Linking with First-Class .. - Wells, Vestergaard (1999)   (15 citations)  (Correct)
Ecient Almost Wait-free Parallel Accessible Dynamic Hashtables - Gao Groote Hesselink (2004)   (Correct)
Foundations of a Module Concept for Distributed Object Systems - Filipe (2000)   (1 citation)  (Correct)
Safe Programming at the C Level of Abstraction - Grossman (2003)   (Correct)
Safety-Checking of Machine Code - Xu (2001)   (25 citations)  (Correct)
Visualization of Three-Dimensional Maps - Luis Lozada De   (Correct)
Java Programming Language - Essay Cs Principles   (Correct)

First 50 documents  Next 50

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC