Compiling the graphical functional language PROGRAPH

ABSTRACT

The imperative style of standard programming languages is not appropriate for many modern computing tasks involving manipulation of symbols and complex structures. These applications require higher level declarative languages such as Lisp and Prolog. A brief description is given of the functional language PROGRAPH, which overcomes some of the shortcomings of Lisp by replacing the usual textual representation of programs by pictures called “prographs”. An abstract machine is defined having an architecture similar to most conventional computers, and suitable as a target machine for compiling prographs. An outline is given of an implementation in Prolog of a PROGRAPH compiler, based on this abstract machine.

REFERENCES

• 1: John Backus, Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs, Communications of the ACM, v.21 n.8, p.613-641, Aug. 1978 [doi>10.1145/359576.359579]
• 2: P. T. Cox , T. Pietrzykowski, Advanced programming aids in PROGRAPH, Proceedings of the 1985 ACM SIGSMALL symposium on Small systems, p.27-33, May 1985, Danvers, Massachusetts, United States [doi>10.1145/317164.317168]
• 3: Cox, P.T.; Pietr-zykowski, T., Implementing PROGRAPH in Prolog: the interpreter graphical interface, Proc. 5th National Conf. of CSCSI, (1984), 119- 123.
• 4: Cox, P.T.; Piet r-zykowski, T.; Matwin, S., Concurrent editing and executing in PROGRAPH on graphical microcomputers, Proc. Z4th Intl. Syrup. MIMI 84, (t984), 140-146.
• 5: GPL Programming Manual, Research Report, CS Dept., University of Utah (July 1981).
• 6: Haridi, S.; Ciepielewski, A., An OR- parallel Token Machine, Proc. Logic Programming Workshop 83, Portugal (1983), 537-552.
• 7: Peter Henderson, Functional Programming, Prentice Hall PTR, Upper Saddle River, NJ, 1980
• 8: HcOabe, F.G.; Clark, K.L., micro- PROLOG 3.0 Programmer*s Reference Manual, Logic Programming Associates, London (1983).
• 9: Hulligan, I.J., A Compiler for PROGRAPH, Honours Thesis, School of Computer Science, Acadia University (1984).
• 10: Pietr-zykowski, T.; Hatwin S., PROGRAPH: A Preliminary Report, Programming Languages (to appear).
• 11: Piet r-zykowski, T.; Hatwin, S.; Muldne r, T., Programming Language PROQRAPH: yet another application of graphics, Proc. Graphics Interface 83, Edmonton (1983).
• 12: Tick, E.; Warren, D.H.D., Towards a Pipelined Prolog Processor, Proc. Int. $ymp. on Logic Programming, Atlantic City (1984), 29-41.
• 13: Philip C. Treleaven , David R. Brownbridge , Richard P. Hopkins, Data-Driven and Demand-Driven Computer Architecture, ACM Computing Surveys (CSUR), v.14 n.1, p.93-143, March 1982 [doi>10.1145/356869.356873]