CUPL and CORC for UNIX
by Eric S. Raymond
This directory contains sources for cupl, a UNIX implementation of CUPL, the
Cornell University Programming Language. It also interprets CORC, the
Cornell Computing Language, the immediate ancestor of CUPL.
CUPL was an early (1966) teaching language implemented as a batch compiler on
the IBM/360 at Cornell University. It was descended from an earlier (1962)
experimental language called CORC (CORnell Compiler), which was in turn derived
loosely from Algol-58 (not, as previously asserted here, PL/1).
CUPL has only one scalar type, a long floating-point real corresponding to C
double. It supports vector and matrix aggregates, and has operations
specialized for matrix calculations.
CORC is a near-subset of CUPL. There are some minor differences in keywords.
In CORC, the statement GO TO is equivalent to CUPL's GO TO END.
The cupl implementation is a Retrocomputing Museum project. The
Retrocomputing Museum
revives long-dead languages for the benefit of students and historians
of programming-language design. CUPL was chosen as a representative
of a significant class of mid-1960s teaching languages.
Files:
Documentation files
README -- this file
cupl.doc -- transcription of the original CUPL documentation
corc.doc -- transcription of the original CORC documentation
cupl.xml -- description and discussion of the language
cupl.spec -- project history is in this RPM spec file
Source files
Makefile -- project makefile
cupl.y -- the YACC grammar
cupl.l -- the LEX lexical-analyzer description
cupl.h -- fundamental types and defines
tokdump.c -- token-dumper code (used for debugging)
interpret.c -- parse tree interpretation
execute.c -- actual execution
monitor.c -- runtime support
main.c -- cupl's main sequence
CUPL samples
(These are all the non-pathological program examples from the CUPL manual)
test/cubic.cupl -- iterative solution to X**3 * 3*X + 1 = 0
test/fancyquad.cupl -- third, fanciest version of quadratic solver
test/poly11.cupl -- sum for k = 1 to 11 of k!x**k, plus 1
test/power.cupl -- compute the sum as k goes from 1 to n of k!/x**k
test/prime.cupl -- test a number for primality
test/quadratic.cupl -- solve multiple quadratic equations
test/random.cupl -- print 10 pseudo-random numbers
test/rise.cupl -- compare iterated +, doubling, squaring, and *
test/simplequad.cupl -- simplest version of quadratic equation solver
test/squares.cupl -- print a table of squares
test/sum.cupl -- compute sum of presented data
CORC samples
(These are all the complete program examples from the CORC manual)
test/factorial.corc -- compute the factorial function
test/powercorc.corc -- compute the sum of a power series
test/quadcorc.corc -- solve multiple quadratic equations
test/sumsquares.corc -- compute sums of first n integers and squares
test/title.corc -- illustate use of NOTE, TITLE, and WRITE
For each .cupl or .corc file, there is a corresponding test file used for
regression-testing of the interpreter. The interpreter should pass
all these tests.
Other test files
test/MAKEREGRESS -- generate regression test loads for the front end
test/REGRESS -- perform regression test on the front end
Known problems and bugs:
* The code chrestomathy in the CUPL manual didn't include any matrix algebra
examples. Because of this, the matrix algebra facilities are incomplete.
ALLOCATE, INV and DET are not implemented. Neither are subscript/slice
references or assignments. Nor are matrix WRITEs or READs. Nor are the
implemented matrix facilities at all well-tested.
* For true verismilitude, a program listing should be output before results.
This is trickier to do in C than it sounds; the lexer doesn't know about
line boundaries.
* GOTO blabel END always goes to the end of the current PERFORM block, even
if the label is that of an enclosing block.
* Because the cupl interpreter also interprets CORC, the CUPL keywords
BEGIN, DEC, DECREASE, EQL, GEQ, GTR, INC, INCREASE, INT, LSS, NEQ, NOTE,
REPEAT, TITLE, UNTIL, and $ are also reserved words in CORC.
Send comments, bug reports, and fixes to esr@thyrsus.com. Also see my
home page at http://www.catb.org/~esr for updates and other related
resources.