![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to langs.1 CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [Research Unix] / researchv10dc / man / adm / man1|
Return to langs.1 CVS log | Up to [Research Unix] / researchv10dc / man / adm / man1 |
1.1 root 1: .TH LANGS 1
2: .CT 1 prog_other
3: .SH NAME
4: altran, cospan, esterel, icon, lisp, macsyma, maple, ops5, pascal, ratfor, S, smp, sno, spitbol, struct, twig \- languages
5: .SH SYNOPSIS
6: .B altran
7: [
8: .I option ...
9: ]
10: .I file ...
11: .br
12: .B cospan
13: [
14: .I option ...
15: ]
16: file
17: .nf
18: .B esterel
19: .B iconc
20: .B icont
21: .B lisp
22: .B /usr/lbin/macsyma
23: .B maple
24: .B /usr/lbin/ops5
25: .fi
26: .B ratfor
27: [
28: .I option ...
29: ]
30: .I file ...
31: .br
32: .B S
33: .br
34: .B smp
35: .br
36: .B sno
37: [
38: .I file ...
39: ]
40: .br
41: .B spitbol
42: [
43: .I option ...
44: ]
45: .I file ...
46: .br
47: .B struct
48: [
49: .I option ...
50: ]
51: .I file ...
52: .br
53: .B twig
54: [
55: .BI -w xx
56: ]
57: .I file
58: .SH DESCRIPTION
59: .I Altran,
60: a language for rational algebra, is
61: described in W. S. Brown,
62: .I ALTRAN User's Manual.
63: For more information execute
64: .LR "man altran" .
65: .PP
66: .I Cospan,
67: a system which analyzes concurrent programs written in the data-flow
68: language S/R for properties defined by automata, is
69: described in
70: Z. Har'El and R. P. Kurshan,
71: .I COSPAN User's Guide,
72: 1121-871009-21TM, AT&T Bell Laboratories, 1987.
73: For more information, execute
74: .LR "man cospan" .
75: .PP
76: .I Esterel
77: compiles single-process implementations of
78: programs expressed in terms of asynchronously cooperating
79: automata.
80: For more information, execute
81: .LR "man esterel" .
82: .PP
83: .I Icon,
84: a general-purpose language with
85: stream-based coroutines is described in R. E. Griswold,
86: .I The Icon Programming Language,
87: Prentice-Hall, 1983.
88: For more information, execute
89: .LR "man icont" .
90: .PP
91: .I Lisp,
92: the symbol manipulation language, is described in
93: J. K. Foderara,
94: `The Franz Lisp Manual', in
95: Unix Programmer's Manual, Seventh Edition, Virtual VAX-11 Version,
96: 1980, Volume 2C
97: (Berkeley)
98: .PP
99: .I Macsyma,
100: another symbolic algebra language,
101: is described in
102: .I Macsyma Reference Manual,
103: Laboratory for Computer Science, MIT, 1977.
104: It breaks if the environment contains shell functions.
105: .PP
106: .I Maple,
107: a third symbolic algebra language,
108: is described in K. O. Geddes, G. H. Gonnet, and B. W. Char,
109: .I MAPLE User's Manual, Third Edition,
110: Research Report CS-83-41
111: Dept. of Computer Science, University of Waterloo, 1983.
112: For more information execute
113: .LR "man maple" .
114: .PP
115: .I Ops5
116: is a production-system interpreter
117: described in
118: C. L. Forgy
119: .IR "OPS5 User's Manual" ,
120: Department of Computer Science,
121: Carnegie-Mellon University,
122: July, 1981.
123: For more information execute
124: .LR "man ops5" .
125: .PP
126: .I Pascal
127: is an interpreter and
128: .I pc
129: is a compiler for the well known language.
130: For more information, type
131: .LR "man pascal pc pxp" .
132: .PP
133: .I Ratfor
134: accepts Fortran extended with C-like control
135: constructs and compiles into Fortran.
136: For more information execute
137: .LR "man ratfor" .
138: For a full description see B. W. Kernighan and P. J. Plauger,
139: .I Software Tools,
140: Addison-Wesley, 1976.
141: .PP
142: .I S,
143: a system for data analysis,
144: is described in
145: R. A. Becker and J. M. Chambers,
146: .I
147: S, An Interactive Environment for Data Analysis and Graphics,
148: Wadsworth, 1984.
149: .PP
150: .I Smp,
151: a fourth symbolic algebra language,
152: is described in C. Cole and S. Wolfram,
153: .I SMP Handbook,
154: California Institute of Technology, 1981.
155: .PP
156: .I Sno
157: is a dialect of Snobol 3.
158: For more information execute
159: .LR "man sno" .
160: .PP
161: .I Spitbol
162: is a dialect of Snobol 4.
163: For more information execute
164: .LR "man spitbol" .
165: The full story is in
166: R. B. K. Dewar, A. P. McCann, R. E. Goldberg,
167: and S. G. Duff,
168: .I Macro SPITBOL Program Reference Manual,
169: and R. E. Griswold, J. F. Poage, and I. P. Polonsky,
170: .I The SNOBOL4 Programming Language
171: Academic Press, 1968.
172: .PP
173: .I Struct,
174: an inverse of
175: .I ratfor,
176: deduces rational control structure from pure Fortran.
177: For more information execute
178: .LR "man struct" .
179: .PP
180: .I Twig
181: is a language for tree manipulation,
182: useful for code generation and other applications.
183: For more information execute
184: .LR "man twig" .
185: See also S. W. K. Tjiang,
186: .I Twig Reference Manual,
187: AT&T Bell Laboratories Computing Science Technical Report 120.
188: .SH BUGS
189: These language processors are available on a haphazard
190: collection of machines.
191: Many are maintained in the same spirit.
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.