| Renamings and Economy of Memory in Program Schemata |
| Full text |
Pdf
(767 KB)
|
| Source
|
Journal of the ACM (JACM)
archive
Volume 25 , Issue 1 (January 1978)
table of contents
Pages: 10 - 22
Year of Publication: 1978
ISSN:0004-5411
|
|
Author
|
|
Luigi Logrippo
|
Department of Computer Science, University of Ottawa, Ottawa, Ontario, Canada K1N 6N5
|
|
| Publisher |
|
| Bibliometrics |
Downloads (6 Weeks): 3, Downloads (12 Months): 22, Citation Count: 3
|
|
|
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
|
|
 |
2
|
|
| |
3
|
CHANDRA, A I~ On the properties and apphcatlons of program schemas Memo AIM-188, A I Lab , Stanford U , Stanford, Cahf, 1973
|
| |
4
|
|
| |
5
|
Ia'ICIN, V.E Logic-term eqmvalence of program schemata Cybernettcs 8 (1972), 5-28
|
| |
6
|
K^RP, R.M , AND MILLER, R E Parallel program schemata J Comptr and Syst Sci 3 (1969), 147- 195
|
 |
7
|
|
| |
8
|
KOTOV, V.E, AND NARIN'YANI, A S Theory of parallel programming, Pts I and II Cybernettcs 10 (1974), 1-18,377-392,735-748
|
| |
9
|
LAVROV. S.S Economy of memory m closed operator schemes U.S.S.R Computat Math. and Math Physics I (1961), 810-828.
|
| |
10
|
Lo6RtPPO, L Renamings m parallel program schemas Res. Rep. CS-74-05, Dept. Appl Analysis and Comptr. Set., U. of Waterloo, Waterloo, Ont., Canada, 1974.
|
| |
11
|
Looau,po, L Renamings and memory economy in program schemas. Res. Rep. TR 76-01, Dept. Comptr. Set., U. of Ottawa, Ottawa, Ont, Canada, Nov 1976.
|
| |
12
|
M^RTINYUg, V.V On the economtcal dtstributlon of a store. U.S S.R. Computat. Math and Math. Phystcs 2 (1962), 469-481.
|
| |
13
|
PATgttSOlq, M.S Eqmvalence problems m a model of computation Tech Memo No I, A { Lab., M I.T, Cambridge, Mass, 1970
|
| |
14
|
|
| |
15
|
WEmRAUCH, K The computational complexity of program schemata. J Comptr and Syst. Sc~. 12 (1976), 80-107
|
| |
16
|
YERS~OV, A P Reduction of the problem of memory alloeatton m programming to the problem of coloring the verttces of a graph Sovtet Math 3 (1962), 163-165
|
| |
17
|
YERSUOV, A P , ED The Alpha Automauc Programming System Academic Press, London, 1971
|
|