Programming and Computational Languages -- A Subject Catalogue

Contents

• Indices and General Information
• Formall Theory, including Indices and General Information, Internet Sites, and so on.
• Lisps, including Common Lisp, Dylan, Scheme, and so on.
• Functional Programming, including Haskell, Standard ML, and so on.
• Logic Programming, including SICStus Prolog and others.
• Constraint Programming
• Object-Oriented Programming, including Eiffel, Python, C++ and Its Family, Objective-C, Modula, and so on.
• Java and JavaScript, including Java, JavaScript, HORB, and so on.
• Parallel and High-Performance Programming, including information on Parallel Processors (CM-5, Paragon, CS6400, etc.), Fortran, occam, and so on.
• Visual Programming, including Prograph and others.
• Tcl/Tk
• Perl
• Ada
• C and Its Prececessors, including C and BCPL and B
• Compiler Compilers, including Bison
• Miscellaneous Languages, including APL, PostScript, Basic, Beta, Cobol, Forth, Icon, Logo, Oberon, Mathematica, Pascal, Reduce, S, Visual Basic, Z, and so on.
• Editors and Utilities, including GNU Emacs, Mule, NEmacs, Emacs Lisp, GNUS, general information on GNU, Gzip, and so on.
• Benchmarks and Benchmarking
• Miscellaneous Articles on Programming

Indices and General Information

• Yahoo Server: Computers and Internet: Programming Languages
• FAQs
  • FAQs of AI Programming Languages, Constraints, etc.
  • A FAQ List at Ohio State University
  • A FAQ List in Japanese
• Computing Review Classification System: Programming Languages (Nearly empty on 9/22/94)
• Searchable Bibliographies on Programming Languages and Compiler Technology
• The Language List
  • The Summary and Searcher (the original hypertext version)
  • The Original Textual Version
  • Another (?) textual version
• Computing Language List at CERN
• Pages by Daniel LaLiberte (who has recently started the HyperNews experiment)
  • Computing Languages, including Computational Paradigms and Miscellanesous
  • Computing Languages List
• Programming Language Research by Mark Leone
  • Research Language Overviews
  • Programming Language and Compiler Research Groups
  • Researchers in Programming Languages and Compilers
• Compilers & Interpreters Archive
• The Gnu Info Tree, including Program Documentation of Cpp, G++, Perl, Diff, Gzip, Tcl, ...
• Indiana University Programming Language Research, including Scheme Repository, Portable Parallel C++, Conferences, Language Overviews, etc.
• Everyday Computing: Systems, Languages, and Software at CMU
• Virtual Library: Computer Programming Languages at src.doc.ic.ac.uk, including C++, Elisp, occam, Fortran, etc. (but not many languages).
• USENIX
  • USENIX Page in GNN
• Catalog of compilers, interpreters, and other language tools
  • FTP version
• C, related languages, and programming languages in general including C Resources, Related Languages, Programming Languages In General
• The Retrocomputing Museum, including ADL, algol-60, ADVSYS, apl-11, bloop, BASIC, BCPL, cfoogol, ...
• Document Archive by SRA (Japan), including Documents on Programming Language, GNU, WWW, OS, etc. (in Japanese)

• Conference Call-for-Papers and Programs

Formal Theory

Indices and General Information

• Virtual Library: Formal Methods at www.comlab.ox.ac.uk, including a list of conferences.
• Theory & Formal Methods at Imperial College, including Papers, Citations, Publications, Journal, IGPL, Seminars & Conferences, and Other Libraries (incl. On-line catalogs of some conventional libraries).
  • Imported library: Sorted by Name, Sorted by Site, and Sorted by Country
• STOC/FOCS
  • FOCS: Foundations of Computer Science (1960-1992)
    • Author Index
    • Title Index
    • BibTeX File
  • STOC: ACM Symposium on Theory of Computing (1969-1993)
    • Author Index
    • Title Index
  • STOC: ACM Symposium on Theory of Computing, 1969-1993, and
    FOCS: IEEE Symposium on Foundations of Computer Science, 1960-1993
• Theory of Computation and Related Areas by Mark Leone
• Formal Methods -- Software Engineering Topics
• Who's Who
  • Who's Who on the Web in Formal Methods
  • Some Researchers in Logical Frameworks
  • Semantics-Based Program Analysis and Manipulation researchers

Internet Sites

• Bologna
• Cambridge
• CWI
• Edinburgh
• Glasgow (Toplevel: FTP)
• KSU programming language semantics group, a web page (and FTP access)
• McGill
• MIT
• Penn
• Rice language group
• Sussex papers and abstracts: FTP access, and a list of available papers. WWW server Top level.
• Stanford theory
• Stanford concurrency group
• Syracuse

Miscellaneous

• Quantum Computer, Mac User/Japan, No. 4, '96. (Japanese)
• Electronic Colloquium on Computational Complexity
• Semantics-Based Program Analysis and Manipulation
• Linear Logic
• IEEE Symposium on Logic in Computer Science, including CFP, Bibliography, Newsletters, and so on.
• Algorithms and Their Applications: A Workshop at HARL (Hitachi Advanced Research Laboratory) (in LaTeX format)
• Bibliographies on Theory/Foundations of Computer Science (in BibTeX format)
  • STOC: ACM Symposium on Theory of Computing, 1969-1993, and
    FOCS: IEEE Symposium on Foundations of Computer Science, 1960-1993
  • JACM: Journal of the ACM
  • Graph coloring
  • Clique and coloring problems
• See this for Combinatorial Optimization Problems.

Lisps

Functional Programming

• FAQs
  • FAQ for comp.lang.functional
• Functional Programming Article Archive, including Language definitions, semantics, and reviews, Implementations, Program manipulation, Theory, Extensions, Parallel functional programming, Applications, and so on.
• Haskell
  • Haskell FTP Site
  • Haskel Overview (outdated?)
  • Language List: Haskel (search)
• ML
  • Standard ML Overview (in PostScript format)
  • Yahoo Server: ML
  • Language List: ML (search)
  • Syntax

Logic Programming

• Yahoo Server: Prolog
• Prolog FAQ: This (Not a hypertext version) or This
• Language List: Prolog (search)
• CMU Prolog Repository
• SICStus Prolog
  • SICStus - a Prolog environment, including Manuals and Mailing lists
  • SICStus Prolog Info at src.doc.ic.ac.uk
  • SICStus Prolog Libraries Info at src.doc.ic.ac.uk
• Logic Programming by Jonathan Bowen
• Abstract Interpretation for LP Bibliography
• ALP: Logic Programming Newsletter WWW Page
• CCAP: Committed Choice And Parallel Languages: Concurrent Prolog, GHC, Parlog (?)
  • Language List: Concurrent Prolog (search)
  • Language List: GHC (search)
  • Language List: Parlog (search)
• Logic Programming at IBM Research
• Learning PROLOG -- ``Based on the book PROLOG Programming by Nigel Ford''
• Syntax

Constraint Programming

• FAQs
  • FAQ in CMU
  • FAQ in Ohio State University
• Language List: Constraint (search)
• Constraints Archive
  • Conferences and Workshops on Constraints
• Commercially Available Constraint Programming Tools

Object-Oriented Programming and Abstract Data Types

Indices and General Information

• FAQs
  • Object-Oriented FAQ in CMU
• Object-Oriented Information Sources, with search
  • OOIS: Search Engine, including search on news.announce.conferences, Aliweb, Language List, and so on.
  • ooinfo in SCG Script Archive is used for generating the OOIS.
• OTG Homapage
• Object-Oriented Programming -- Software Engineering Topics (Nearly empty on 12/8/94)
• Language List: Object-Oriented (search)

Eiffel

• Yahoo Server: Eiffel
• FAQ: comp.lang.eiffel FAQ
• Overview
• FAQ
• An Invitation to Eiffel at Eiffel.com
  • Eiffel: An overview of the language and method (TOC)
• Eiffel: A Software Engineer's Dream at Eiffel.com
• Eiffel.com Alphabetical Index
• Implementations
  • Graphical Eiffel for Windows
  • Free Eiffel for Windows (from comp.compilers)

Python

• Yahoo Server: Python
• Python Language Home Page
• Python 1.2 Distribution

C++ and Its Family

• Virtual Library: C++
• FAQs of C++
  • The textual version
  • A hypertext version -- not always up to date.
• High Performance Computing Archive -- Parallel C and C++ subject area
• G++ FAQs
  • A hypertextual version
  • The textual version
• libg++.info - Top
• See the section of C.

Objective C

• Objective C
• Yahoo Server: Objective C -- Almost empty!

SmallTalk and Its Family

• Yahoo Server: SmallTalk
• FAQ in CMU
• Smalltalk for the Macintosh
• Syntax

Modula

• Modula 2
  • Yahoo Server: Modula-2
• Modula 3
  • Yahoo Server: Modula-3
  • Modula-3 Home Page at DEC
  • Modula-3 FAQ, Precompiled Binaries, etc.
  • Threads: A Modula-3 Newsletter

Miscellaneous

• Obliq -- ``a lexically-scoped untyped interpreted language that supports distributed object-oriented computation.''

Java and JavaScript

Java

• Java FAQ in Japanese
• Java at Sun
• A Better Mirror of java.sun.com
• Virtual Library: The Java Programming Language
• Gamelan -- The Official Directory for Java
  • Programming in Java
• Programming in Java: List of Lessons
• Java Resources in Japanese
• Java Software Archive
• Java-Linux Porting Project
  • A Mirror Site at KDD (Japan)
• Java/Hot Java Project at OSF -- porting to HP/UX (related: Web Technology at OSF)
• HotJava/Java FAQ (in Japanese)
• JavaHouse -- A Japanese mailing list on Java
• Mutoh's Java Course Page (Japanese)
• Easy Java Programming (Japanese)
• Joe -- ``a powerful new product uniting the flexibility of NEO (networked objects), the power of Java, and a platform-independent user interface.''
  • NEO Information and Sales, including info on Joe
• Java Resources in Japanese

JavaScript

• Script Debugger for Internet Explorer
• Internet Toolkit: JavaScript in PC Magazine
• JavaScript Yellow Page
• JavaScript Language Specification (for downloading)
• www.deloper.com: JavaScript
• JavaScript Index
• Personal Learning JavaScript (Japanese)
• Introduction to JavaScript
• Netscape JavaScript
• Netscape JavaScript Authoring Guide
• JavaScript 411 including ``The document object''
• Using JavaScript in HTML
• JavaScript -- Interaction & Usage
• How to Load Two Frames at Once with JavaScript
• Zwimmer Special
• Examples
  • A Slide Show
  • A Calendar with 'to-do' list thingy
  • Color Picker
  • Simple Calculator by JavaScript
  • About JavaScript (Japanese)

HORB

• ETL HORB Home Page
• User's Guide
• Ring Server: At CRL.go.jp, At Asahi-Net

Parallel and High-Performance Programming

Indices and General Information

Fortran

• Fortran FAQ
• Yahoo Server: Fortran
• Language List: Fortran (search)
• Fortran 90
  • Fortran 90 Information
• The Fortran Market (TM) -- ``The Fortran Market is the place to ``shop'' for all products and services related to Fortran. In addition to the usual things to buy, you will find many useful items that are free.''

occam

• Yahoo Server: Occam
• Language List: occam

Visual Programming

• Virtual Library: Visual Languages and Visual Programming
• Yahoo Server: Languages: Visual, including Visual Basic
• A Collection of VPL References, including list of Visual Programming Systems, Visualisation and Visual Programming Groups, People with WWW pages, and Other Information
• The FAQ for comp.lang.visual
  • The HTML Version
  • A Textual Version
• Language List: Visual (search) -- The result does not contain Visual Basic (^!^)
• Prograph
  • Yahoo Server: Prograph
• Garnet Project home page
• Agentsheets
• Visual Programming Language Bibliography -- formerlly, VPL classification project (?)
• DIVA - Visual programming with multiple paradigms
• Sibal

Tcl/Tk

• FAQs
  • Tcl FAQ
  • Tcl FAQ Archive Site, including Part 1, Part 2, Part 3, Part 4, Part 5
  • Tcl FAQ in Japanese
    • An HTML Version (with some additional notes. ver 5.3, Aug 1994)
    • A Structured HTML Version (ver. 5.3-J1.1)
    • A Secondary Copy (ver 6.3): Part 1, Part 2, Part 3, Part 4, Part 5
  • Tcl Q and A in Japanese
  • Tk Q and A in Japanese
  • Tcl Bibliography in Japanese
  • Japanese version archive (older)
• Language List: Tcl (search)
• Newsgroup comp.lang.tcl
  • Its Archive
• General Information
  • Virtual Library: Tcl and Tk
  • Yahoo Server: Tcl/Tk
  • Tcl Overview
  • A brief introduction to TCL/TK
  • Tcl Info on Tcl/Tk Resources (containing many tools), FAQs, Manual Pages, References, Tcl/Tk-based Internet Servers (WWW and IRC), etc.
  • Tcl/Tk Archive, which contains Tcl/Tk Implementation, Book Draft, Style Manual, Mouse-based Text Editor, Several Papers, and so on.
    • README
  • comp.lang.tcl Tcl Bibliography
• Implementations
  • MacTcl for Macintosh is here. (Ver. 7.3)
  • Others and Its README
• Applications
  • Tcl Contrib
  • Tcl/Tk-based WWW Browsers and Servers
    • Browser: tkWWW -- WYSIWYG Editor/Browser of WWW
    • Servers

Perl

• Yahoo Server: Perl
• CPAN: Comprehensive Perl Archive (Japan Mirror)
  • CPAN / ROADMAP (Contents)
  • Perl Source Code and Patches
• www.perl.com
• FAQs
  • Meta-FAQ: this, this or this.
  • Nexor HyperText Searchable FAQ
  • Perl FAQ (dated 1/31/95)
  • A Copy in SRA Japan (dated 10/2/93): Table of Contents, Part 1, Part 2, Part 3 and Part 4
  • Katte ni Perl Reference (Japanese)
  • Windows Perl for Win32 FAQ
  • MacPerl FAQ
  • ?
• The Perl Programming Language, including Perl 4 and 5 Manuals and Introductory Items
• Language List: Perl
• Introductions
  • Brief Introduction to Perl (in Japanese)
• General Information: This, This, This, This, This, or This.
• Manuals
  • Perl 4 -- Practical Extraction and Report Language
  • Perl 5: At www.perl.com (with a detailed TOC, newer?), At www.metronet.com, At Kyushu Univ. and At Nexor, UK
  • Online Manual Pages: At Tokai Univ. (no search), this, this or this
  • Perl Manuals in Japanese
    • TexInfo at UEC
    • Manual Page (for downloading)
    • Reference (for downloading)
  • PostScript Versions: and at Nagoya U.
  • FAQ: Perl Module Software (Japanese translation)
• Perl Information Memo (Japanese)
• Perl and WWW
  • Index of Perl/HTML Archives
  • Matt's Script Archive
  • PerlWWW
  • libwww-perl: Distribution Information (for Perl4)
  • libwww-perl-5 (Perl WWW Modules, libwww-perl-5b7)
  • libwww-perl Document Set
    • In HTML Format
    • In PS Format
• Example Programs in Perl Books
  • Programming Perl Examples
  • Learning Perl Examples
• University of Florida's Perl Archive
• MacPerl FTP Sites: This, This, This or This
• Obtaining Awk and Perl

Ada

• Yahoo Server: Ada
• Language List: Ada (search)
• Pointers to Ada related information
• Programming Languages -- Software Engineering Topics, including Information on Ada, Linda, and Object-Oriented Programming
• What is Ada?
• Ada Stuff by Everett (Skip) Carter
• Ada WWW Server at the Swiss Federal Institute of Technology in Lausanne, Switzerland
• FAQ of comp.lang.ada
• Ada Hypertext Manuals
  • MILITARY STANDARD: DEFENSE SYSTEM SOFTWARE DEVELOPMENT (DOD-STD-2167A)
  • Ada 9X and Ada 83 Manuals and Rationale
  • Ada 9X
    • Ada 9X Reference Manual (5.0) -- Draft version 5.0
    • Ada 9X Reference Manual (4.0) -- Draft version 4.0
  • Ada 83
    • Ada'83 Manual, maitained by Greg Hanna at SAIC
    • HTML Ada83 LRM Front-Page
  • Rationale
    • Rationale for Ada 83
    • Draft 9X Rationale (text, 1MB!)
• Ada-Belgium, including activities
• Freely available Ada compilers, including GW-Ada/Ed (Ada 83) and GNAT (GNU NYU Ada 9X)
• Adatcl -- ``This adatcl package provides access to tcl thru Ada.''
• Syntax

Compiler Compilers

• Language List (search)
  • Compiler-compiler -- The result does not contain Yacc nor Bison, but contains Lex.
  • Yacc
• Bison -- ``The YACC-compatible Parser Generator''
  • Bison Reference

C and Its Predecessors

C

• Yahoo Server
  • C/C++
  • C/C++: GCC and G++
• Language List: C++ (search) -- Searching for ``C'' results a miserable result!
• FAQ
  • At Ohio State Univ.
  • In Japanese: A copy
• ANSI C Summary by Eric Giguere
• gcc.info - Top
• Programming in C (liu.se) -- Very useful!
  • Books errata: Harbison & Steele, C: A Reference Manual, Kernighan & Ritchie: The C Programming Language, Stroustrup: The C++ Programming Language
• Dennis Ritchie: The Development of the C Language (Postscript, 16 pages)
• ANSI C Rationale
• ANSI C Grammer: Yacc and Lex
• Programming in C: A Tutorial by Brian W. Kernighan
• "" The Ten Commandments for C Programmers (Annotated Edition) "" "" by Henry Spencer
• How to Use the Plan 9 C Compiler by Rob Pike, including introduction on mk -- a descendant of make
• Cpp -- the C Preprocessor
  • Cpp Reference
  • cpp.info - Top
• gdb.info - Top
• LEARN C/C++ TODAY -- ``a list of a few C and C++ language tutorials available to a user''
• Syntax

BCPL and B

• A brief description of BCPL
• News Articles on BCPL and the history of C
  • Alan Watson's
  • Mark Brader's (on B)
  • Clive Feather's
  • Dennis Ritchie's

Miscellaneous Languages

Icon

• Yahoo Server: Icon
• FAQs
  • FAQ About The Icon Programming Language -- A hypertext version
  • Icon Programming Language FAQ -- The textual version
• Language List: Icon (search)
• The University of Arizona -- Icon Project -- ``This is the directory that contains the Icon implementatino and documentation.'' (From Yahoo Server)

Logo

• Logo Home Page (Japanese)

APL

• FAQ
• Yahoo Server: APL -- Almost empty!
• Language List: APL (search)

PostSrcipt

• Yahoo Server: Postscript
• Language List: PostScript (search)
• A First Guide to PostScript
• Postscript FAQ: This or This

Beta Language

• Yahoo Server: Basic
• FAQ
• Language List: Beta (search)
• Mjolner's Beta Home Page: An Introduction and a Tutorial are available.
• Another Home Page
• comp.lang.beta: Its Archive

Forth

• Yahoo Server: Forth
• Language List: Forth (search)
• Forth Information on Taygeta
• FORTH related info -- ``This page is an attempt to organize the FORTH information, that is spread around the Net.''
• FAQ

Reduce

• Reduce

Cobol

• Yahoo Server: COBOL
• Language List: Cobol (search)
• A Page on Cobol
• FAQ: HTML Version or Textual Version
• Syntax

Mathematica

• Mathematica 3.0 as a Programming Language by Wolfram Research

Oberon

• FAQs: This or This
  • Oberon Language FAQ
  • Oberon System FAQ
• Yahoo Server: Oberon -- Almost empty!
• Language List: Oberon (search)

Pascal

• Yahoo Server: Pascal -- Almost empty!
• Language List: Pascal (search)
• Why Pascal is Not My Favorite Programming Language by Brian W. Kernighan
• Syntax

Visual Basic

• Visual Basic FAQ
  • comp.lang.basic.visual VB/DOS Frequently Asked Questions
  • comp.lang.basic.visual General Frequently Asked Questions
  • comp.lang.basic.visual VB/Win Shareware VBX List
  • comp.lang.basic.visual VB/Win Frequently Asked Questions
• Yahoo Server: Microsoft Visual Basic -- Nearly empty
• No Visual Basic entry in the Language List

Basic

• Yahoo Server: Basic -- Almost empty!
• Language List: Basic (search)

Z

• Yahoo Server: Z
• FAQ
  • At Ohio State Univ.
  • Japanese version
• The Z notation

GNU AWK

• The GAWK Manual

S

• S-PLUS 3.2

Editors and Utilities

Benchmarks and Benchmarking

• Index of Benchmarks (Database Benchmarks, ...)
• Benchmarks, including FAQs
• Benchmark Sources
  • At Netlib
  • At Sony (US)
    • X Benchmarks
  • At NOSC.MIL
• Benchmark FAQ
• Dhrystone
• Ziff-Davis Benchmark Operation for Mac, PC and Windows
• Benchmarks by M. Koba (News messages in Japanese)
  • BYTE Benchmarks Summary
  • Xmark
• Linpack Benchmark and Its Results
• CPU Info & System Performance Summary
• AIPS on a Linux Pentium -- A Benchmark Result on Linux / Gateway 2000
• NULLSTONE Automated Compiler Performance Analysis Tool

Miscellaneous Articles on Programming

• Papers on Compilers and Language Implementation
• Syntaxes of Programming Languages, including Ada, C and C++, Cobol, Lisp, Standard ML, Pascal, Prolog, Smalltalk, SGML, and so on.
• CS 330: Concepts of Programming Languages -- A Class
• Programming Language and Compiler Bibliographies
• Manual Page Tool
• Interview with Donald Knuth by Computer Literacy Bookshops
• Programming in Three Dimensions -- Marc Najork's thesis
• Literate Programming
  • Yahoo Server: Languages: Literate Programming
  • Literate Programming Library
    • Search keywords on info.desy.de
    • Language List: WEB (search)
• DSA (dynamic storage allocation) Information Repository
• Henry Baker's Archive of Research Papers
• Software Engineering Topics at SEI, CMU, including SEI Focus Areas, and Other Topics (including AI, AL, ...)
  • Software Engineering -- Software Engineering Topics
  • Software Engineering Education -- Software Engineering Topics
  • Software Engineering Environments -- Software Engineering Topics
  • Software Engineering Organizations
  • Software Engineering Technology Transition -- Software Engineering Topics
• Realtime Computing
• ASSET: WSRC - Table of Contents -- ``ASSET's Worldwide Software Resources Discovery (WSRD) library contains documents, software components, vendor advertisements and information on software reuse practices. There is information on both public domain and commercial assets. ''
• Random Numbers
  • Sources on random number generation and stochastic simulation
  • Random Number Generation by Everett (Skip) Carter
  • pLab Project -- ``Theoretical and empirical aspects of random number generation''
  • WWW Random Number Generator
• Programmer's WEB, il primo WEB italiano dedicato alla programmazione