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