Compiling the graphical functional language PROGRAPH

Authors:
P. T. Cox;I. J. Mulligan
Affiliations:
Technical University of Nova Scotia, Canada;Bell Northern Research, Canada
Venue:
Proceedings of the 1985 ACM SIGSMALL symposium on Small systems
Year:
1985

Citing 4
Cited 3

Advanced programming aids in PROGRAPH

Proceedings of the 1985 ACM SIGSMALL symposium on Small systems
Data-Driven and Demand-Driven Computer Architecture

ACM Computing Surveys (CSUR)
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM
Functional Programming

Functional Programming

Using object-orientation to implement logic programming

SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
Advanced programming aids in PROGRAPH

Proceedings of the 1985 ACM SIGSMALL symposium on Small systems
Application of visual programming to web mash up development

HCI'07 Proceedings of the 12th international conference on Human-computer interaction: interaction design and usability

Quantified Score

Hi-index	0.00

Visualization

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.