|
ABSTRACT
This paper describes PAL—a new computer language. Given the fact that new languages seem to appear in computer literature at the rate of several per month, it seems incumbent on one who creates a new language to justify having done so. In the present case, there are two important considerations: control and specification. Let us consider each of these in turn. By virtue of our having designed PAL, it is ours. There is no PAL Users Group or Committee of Vested Interests concerned with retaining upward compatibility with what was done last year (or last month). This doesn't mean we change the specifications of the language every few weeks (our students are, in a real sense, our Committee of Vested Interests), but it does mean we can make decisions on changes solely on technical grounds. More important, though, we can design the language to meet the criteria we think important. For example, the language almost demands interpretive execution. Since no one writes production programs in PAL we are able to put up with inefficiencies in the implementation that would otherwise be intolerable. Thus we have designed our own language so that we will have control over it.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
Strachey C unpublished manuscript
|
| |
2
|
Weizenbaum J The FUNARG problem explained unpublished manuscript
|
| |
3
|
|
| |
4
|
Curry H B and Feys R Combinatory logic vol 1 North Holland Publishing Co Amsterdam 1958
|
| |
5
|
Landin P J The mechanical evaluation of expressions The Computer Journal 6 4 Jan 1964 pp 308-320
|
 |
6
|
|
| |
7
|
Alber K Oliva P and Urschler G Concrete Syntax of PL/I IBM Laboratory Vienna Technical Report TR25.084 Mar 15 1968
|
| |
8
|
Alber K and Oliva P Translation of PL/I into Abstract Syntax IBM Laboratory Vienna Technical Report TR25.086 Mar 15 1968
|
| |
9
|
Richards M BCPL reference manual Project MAC Memorandum M-352-1 February 16 1968
|
| |
10
|
Evans A PAL—A reference manual and a primer MIT Department of Electrical Engineering Feb 1968
|
 |
11
|
|
CITED BY 20
|
|
|
|
|
|
|
|
|
|
|
M. Gordon , R. Milner , L. Morris , M. Newey , C. Wadsworth, A Metalanguage for interactive proof in LCF, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.119-130, January 23-25, 1978, Tucson, Arizona
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Bruce Duba , Robert Harper , David MacQueen, Typing first-class continuations in ML, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.163-173, January 21-23, 1991, Orlando, Florida, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Paul Hudak , John Hughes , Simon Peyton Jones , Philip Wadler, A history of Haskell: being lazy with class, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.12-1-12-55, June 09-10, 2007, San Diego, California
|
|
|
|
|
|
|
|
|
|
|
|
|
|