Previous: Conclusion
Up:
CAST: A Processor Architecture for the
Efficient Execution of Functional Programs
Next: About this document ...
Previous Page: Conclusion
Next Page: About this document ...
References
- 1
-
C. Aßmann.
Ein syntaxgesteuerter Editor für eine funktionale Sprache.
Master's thesis, Institut für Informatik und praktische
Mathematik, Universität Kiel, 1987.
- 2
-
C. Aßmann.
A Hardware Architecture for the Efficient Execution of Functional
Programs.
internal paper, 1990.
- 3
-
W. Bosy.
Design und Implementierung eines Übersetzers für eine
Hardware--Reduktionsmaschine.
Master's thesis, Institut für Informatik und praktische
Mathematik, Universität Kiel, 1991.
- 4
-
D. Gärtner.
--Red
: ein codeausführendes Reduktionssystem zur
Transformation von Programmen eines angewandten 
--Kalküls.
In Architektur von Rechensystemen, 1992.
12. GI/ITG Fachtagung.
- 5
-
M. Hasegawa and Y. Shigei.
High--Speed Top--of--Stack Scheme for VLSI Processor: a Management
Algorithm and its Analysis.
In Proceedings of the 12th Annual International Symposium on
Computer Architecture, pages 48 - 54, 1985.
- 6
-
M. Hill, S. Eggers, et al.
Design Decisions in SPUR.
IEEE Computer, pages 8 - 22, November 1986.
- 7
-
F. Hommes.
The internal structure of the reduction machine.
Technical report, Gesellschaft für Mathematik und
Datenverarbeitung, March 1977.
Bericht ISF-77-3.
- 8
-
T. Johnsson.
Efficient compilation of lazy evaluation.
In Proceedings of the SIGPLAN '84 Symposium on Compiler
Construction, pages 58-69, 1984.
- 9
-
R.B. Kieburtz.
The G--machine: A fast graph-reduction evaluator.
In J.-P. Jouannaud, editor, Functional Programming Languages and
Computer Architecture, volume 201 of Lecture Notes in Computer
Science, pages 400 - 413. Springer--Verlag, 1985.
- 10
-
R.B. Kieburtz.
Performance Measurement of a G--Machine Implementation.
In J. H. Fasel and R. M. Keller, editors, Graph Reduction,
volume 279 of Lecture Notes in Computer Science, pages 275 - 296.
Springer--Verlag, 1986.
- 11
-
F. Meißner.
Implementierung eines Simulators und Meßsystems sowie eines
Pipeline--Reorganizers für eine Hardware--Reduktionsmaschine.
Master's thesis, Institut für Informatik und praktische
Mathematik, Universität Kiel, 1991.
- 12
-
D. A. Moon.
Architecture of the Symbolics 3600.
In Proceedings of the 12th Annual International Symposium on
Computer Architecture, pages 76 - 83, June 1985.
- 13
-
J. Noss.
Realisierung des Reduktionsprozessors CAST in Hardware, 1991.
private Kommunikation.
- 14
-
H. Schlütter and E. Pless.
Die Reduktionssprache OREL/2.
Technical report, Gesellschaft für Mathematik und
Datenverarbeitung, 1990.
- 15
-
D.A. Turner.
Miranda: A non--strict Functional Language with Polymorphic Types.
In J.-P. Jouannaud, editor, Functional Programming Languages and
Computer Architecture, volume 201 of Lecture Notes in Computer
Science, pages 1-16. Springer--Verlag, 1985.
- 16
-
A. von Bechtolsheim and E. Frank.
Sun's SPARCstation 1: A Workstation for the 1990s.
In IEEE Compcon Spring, pages 184 - 188, 1990.