Clean — A language for functional graph rewriting

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 274 LNCS, Issue , 1987, Pages 364-384

  Brus, T H ^a   van Eekelen, M C J D ^a   van Leer, M O ^a   Plasmeijer, M J ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; DIRECTED GRAPHS;

CONVENTIONAL MACHINES; FUNCTIONAL GRAPHS; FUNCTIONAL LANGUAGES; GRAPH REWRITING; GRAPH REWRITING SYSTEMS; INTERMEDIATE LANGUAGES; SEQUENTIAL IMPLEMENTATION; TERM REWRITING SYSTEMS;

FUNCTIONAL PROGRAMMING;

EID: 84987215842     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-18317-5_20     Document Type: Conference Paper

References (20)

1. Barendregt, H.P., Leeuwen, M. van, "Functional Programming and the Language Tale", (Eds. J.W. de Bakker, W.-P. de Roever and G. Rozenberg), Springer LNCS 224, pp 122–207, (1986).
2. Barendregt, H.P., Eekelen, M.C.J.D. van, Glauert, J.R.W., Kennaway, J.R., Plasmeijer, M.J., Sleep, M.R., "Towards an Intermediate Language based on Graph Rewriting", University of East-Anglia and University of Nijmegen, Proceedings of the PARLE conference on Parallel Architectures and Languages, Einhoven, the Netherlands, June 1987.
3. Barendregt, H.P., Eekelen, M.C.J.D. van, Glauert, J.R.W., Kennaway, J.R., Plasmeijer, M.J., Sleep, M.R., "Term Graph Reduction", University of East-Anglia and University of Nijmegen, Proceedings of the PARLE conference on Parallel Architectures and Languages", Eindhoven, the Netherlands, June 1987.
4. Barendregt, H.P., Eekelen, M.C.J.D. van, Plasmeijer, M.J., University of Nijmegen; Hartel, P.H., Hertzberger, L.O., Vree, W.G., University of Amsterdam, "The Dutch Parallel Reduction Machine Project", to appear.
5. Cousineau, G., Curien, P.L., Mauny, M., "The Categorical Abstract Machine", Proc. Conf. On Functional Languages and Computer Architecture, Nancy, pp. 50–64, September 1985.
6. De Groot, D. & Lindstrom G. (eds), "Logic Programming: Functions, Relations and Equations", Prentice Hall 1986.
7. Eekelen, M.C.J.D. van, Plasmeijer, M.J., "Specification of rewriting strategies in Term Rewriting Systems", University of Nijmegen, to appear in the LNCS proceedings of the Workshop on Graph Reduction, Santa Fe, New Mexico, 1986.
8. K. Futatsugi, J. Goguen, J.-P. Jouannaud, J. Mesequer, "Principles of OBJ2", Proc. Of the 12th ACM POPL Conf., New-Orleans, 1985.
9. J.R.W. Glauert, J.R. Kennaway, and M.R. Sleep, "Dactlo: a computational model and compiler target language", Report SYS-C87-03, School of Information Systems, University of East Anglia, to appear, ICL Journal, 1987.
10. Goos, J., Van Latum, F., "Complete specification of practical rewriting strategies", Master Thesis, University of Nijmegen, March 1987.
11. Hartel, P., Vree, W., "A Load Distribution Network for a Multi Processor Reduction Machine", Internal Report D-6, Dutch Parallel Reduction Machine project, University of Amsterdam, April 1986.
12. Hudak, P., and Smith, L., "Para-Functional Programming: A Paradigm for Programming Multi-Processor Systems", 12th A.C.M. Symp. On Principles of Programming Languages, Jan. 1986, pp. 243-254.
13. Johnsson, T., "Efficient Compilation of Lazy Evaluation", Proc. Of the ACM Sigplan '84, Sigplan Notice, Vol. 19, No 6, June 1984.
14. Koopman, P.W.M., Nocker, E.G.J.M.H., "Compiling Functional Languages to Functional Graph Rewriting Systems", University of Nijmegen, Internal report, to appear.
15. Klop, J.W., "Term rewriting systems", Notes for the Seminar on Reduction Machines, Ustica 1985, to appear.
16. O'Donnell, M.J., "Equational Logic as a Programming Language", Foundations of Computing Series, MIT Press, 1985.
17. Odijk, E.A.M., "DOOM: a Decentralized Object-Oriented Machine", Doc. Nr. 0125, Esprit 415 internal report, Philips, Eindhoven, 1985.
18. Peyton Jones, S. L., "FLIC — a Functional Language Intermediate Code", Dept. Of Comp. Sc., University College London, internal working paper.
19. Turner, D.A., "A new Implementation Technique for Applicative Languages", Softw. Pract. and Experience, Vol. 9 (1), pp. 31–49, January 1979.
20. Turner, D.A., "Miranda: A non-strict functional language with polymorphic types", Proc. Conf. On Functional Languages and Computer Architecture, Nancy, pp. 1–16, September 1985.