| Alternate document: Details Writing an Operating System with Modula-3 (96) Emin Gün Sirer, Stefan Savage, Przemyslaw Pardyak, Greg P. DeFouw, Mary Ann Alapat, |
Emin Gün Sirer, Stefan Savage, Przemyslaw Pardyak, Greg P. DeFouw, Brian N. Bershad  Home/Search
Context Related
| 128.95.4.112/homes/egs/papers...m3os.ps washington.edu/homes/egs...spinm3os.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: 128.95.4.112/homes/egs/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper is to help clear up some confusion about developing software with Modula-3. In particular, we will concentrate on using Modula-3 to write an operating system, which is where our primary experience lies. The key point with which we hope to leave the reader is that there is a fundamental difference between a programming language, and a particular implementation of that language. For example, there are many different versions of the C compiler and its runtime utilities. In the 80's... (Update)
Context of citations to this paper: More
...to evaluate the overheads of JRes memory accounting. The test suite consists of (i) running JavaCC, a parser generator from SunTest [33], on a C grammar; ii) Figure 4. Effects of bytecode rewriting on a class Foo. The class has been rewritten in order to account for...
...Modula3 packet filter performance when using VIEW. Similar performance improvements over the DEC SRC Modula 3 compiler have been reported [18] for the more recent Vortex compiler. However, since we have not conducted any experiments with the Vortex compiler on our packet...
Cited by: More
Proof-Carrying Code - Necula, Lee (1996) (Correct)
Providing Policy-Neutral and Transparent Access Control in.. - Grimm, Bershad (1998) (Correct)
Safe Kernel Extensions Without Run-Time Checking - Necula, Lee (1996) (Correct)
Similar documents (at the sentence level):
69.3%: Writing an Operating System with Modula-3 - Sirer, Savage, Pardyak, DeFouw, .. (1996) (Correct)
Active bibliography (related documents): More All
0.0: Language and Runtime Support for Dynamic Interposition of .. - Pardyak, Savage, Bershad (Correct)
0.0: An Extensible Protocol Architecture for Application-Specific.. - Fiuczynski (1996) (Correct)
0.0: A User-Level Unix Server for the SPIN Operating System - Dion (1996) (Correct)
Similar documents based on text: More All
0.4: Strands: An Efficient and Extensible Thread Management.. - Sirer, Pardyak, Bershad (1997) (Correct)
0.4: Extensibility, Safety and Performance in the SPIN.. - Bershad, Savage.. (1995) (Correct)
0.4: Safe Dynamic Linking in an Extensible Operating System - Sirer, Fiucynski, Pardyak, .. (1996) (Correct)
Related documents from co-citation: More All
4: safety and performance in the SPIN operating system (context) - Bershad, Savage et al. - 1995
3: Efficient software-based fault isolation - Wahbe, Lucco et al. - 1993
3: Language support for extensible operating systems - Hsieh, Fiuczynski et al. - 1996
BibTeX entry: (Update)
Sirer, E, Fiuczynski, M, and Pardyak, P. Writing an Operating System with Modula-3. First Workshop on Compiler Support for System Software, Tucson, AZ, February 1996. http://citeseer.ist.psu.edu/sirer96writing.html More
@inproceedings{ sirer96writing,
author = "Emin G{\"u}n Sirer and Stefan Savage and Przemyslaw Pardyak and Greg P. DeFouw and Brian N. Bershad",
title = "Writing an Operating System Using {M}odula-3",
booktitle = "Workshop on Compiler Support for Systems Software",
year = "1996",
url = "citeseer.ist.psu.edu/sirer96writing.html" }
Citations (may not include all citations):400 Safety and Performance in the SPIN Operating System (context) - Bershad, Savage et al. - 1995
296 Free Software Foundation (context) - Stallman, porting et al. - 1990
94 Real-timeconcurrent collection on stock multiprocessors - Appel, Ellis et al. - 1988
50 Elimination of redundant array subscript range checks - Kolte, Wolfe - 1995 ACM DBLP
50 A fresh look at optimizing array bound checking (context) - Gupta - 1990 ACM DBLP
40 Optimizing array bounds checks using flow analysis - Gupta - 1993
36 System Programming in Modula (context) - Nelson - 1991
25 Incrementalmaturegarbage collection using the train algorith.. - Steffen - 1995
17 Safe Dynamic Linking in an Extensible Operating System - Sirer, Fiuczynski et al. - 1996
1 Submitted to the First Workshop on Compiler Support for Syst.. (context) - Hsieh, Fiuczynsko et al. - 1996
1 An Optimizing Compiler for Object-Oriented Languages (context) - Group, Compiler - 1995
Documents on the same site (http://128.95.4.112/homes/egs/): More
SPIN - An Extensible Microkernel for.. - Bershad.. (1994) (Correct)
Protection is a Software Issue - Bershad, Savage, Pardyak, Becker.. (1995) (Correct)
Measuring Limits of Fine-grained Parallelism - Sirer (1997) (Correct)
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