Computer science material


Operating Systems: dmoz.org's list of current operating systems & related stuff.
Misc. stuff on High Performance Computing & Superclusters
Greg Chaitin's publications about Kolmogorov Complexity and other things: Greg prefers to call it "Algorithmic Information Theory". Not for the squeemish.
Incremental Compuation: We are engaged in an ambitious effort to derive incremental programs automatically (or semi-automatically) from non-incremental programs written in standard programming languages. This approach contrasts with our earlier approaches that aimed to incrementally evaluate non-incremental programs.
[See also Systematic Derivation of Incremental Programs , Caching Intermediate Results for Program Improvement , Discovering Auxiliary Information for Incremental Computation & CACHET: An Interactive, Incremental-Attribution-Based Program Transformation System For Deriving Incremental Programs]
The Java Parser Generator formerly known as Jack: JavaCC is a Java parser generator written in Java. It produces pure Java code. Both JavaCC and the parsers generated by JavaCC have been run on a variety of Java platforms. JavaCC comes with a bunch of grammars including both Java 1.0.2 and Java 1.1 as well as a couple of HTML grammars.
[Also see Feature Highlights]
RSIM - Rice Simulator for ILP Multiprocessors: RSIM simulates shared-memory multiprocessors (and uniprocessors) built from processors that aggressively exploit instruction-level parallelism (ILP). RSIM is execution-driven and models state-of-the-art ILP processors, an aggressive memory system, and a multiprocessor coherence protocol and interconnect, including contention at all resources.
Zyacc Home Page: Zyacc is a general-purpose parser generator that converts a grammar description for an LALR(1) context-free grammar into a C program to parse that grammar. Zyacc is largely upward compatible with Yacc and Bison, but providing enhancements such as inherited attributes, semantic tests, and allows a call to the parsing function to be made for a particular start nonterminal.
[From Zerksis Umrigar <zdu@acm.org>]
Meta-resource list of compilers: Also available at http://www.cera2.com/compiler.htm & http://www.eetoolbox.com/compiler.htm. Maintained by Nina Pinto <ninapint@ix.netcom.com>, EG3 Communications, Inc.
Moscow ML: Moscow ML provides a light-weight implementation of Core Standard ML, a strict functional language widely used in teaching and research. Moscow ML can generate compact linked bytecode files in the style of Caml Light. A bytecode file calls on the shared runtime system to run itself.
[See also Language Overview
The Wisconsin Program-Slicing Tool: The Wisconsin Program-Slicing Tool is a software system that supports operations on C programs, including backward slicing, forward slicing, and chopping [HRB90, RHSR94, RR95], which can help the user gain an understanding of what a program does and how it works. The Slicing Tool consists of a package for building and manipulating control-flow graphs and program dependence graphs, as well as a front-end that parses C programs and translates them to the internal representations used for slicing. It can also report certain other kinds of information about the program; for instance, it can answer questions about the program, such as "What global variables might be modified by a given procedure call?".
TOPLAS Home Page: Transactions on Programming Languages and Systems, from the ACM.
[IMO, much better value than Communications]
Combinators & combinatory logic
Phil Koopman's book on stack machines
ACE manual pages
Bill Lear's ACE FAQ: This link contains the answers to commonly asked questions about the ADAPTIVE Communication Environment (ACE).
Skiplist technology
Treap technology
Distributed processing
MPI technology
PVM technology
Object-oriented databasses
The omniORB2 version 2.5 User's Guide
Java & HotJava
HTML technology
Misc man pages
Dome Home Page
The Collection of Computer Science Bibliographies
Super linearity
RFC BY TITLE INDEX: Local copy of something snaffled from <http://phobos.illtel.denver.co.us/cdrom/inet/rfc/title.rfc>.