C.M. Holt
University of Newcastle upon Tyne. 1995.
Visual programming gives vast syntactic freedom to both language designers and applications programmers. Unless a flexible framework is found within which widely varying programming styles and paradigms can be embedded, all the problems encountered in creating interfaces between modules in different textual languages will be repeated, exacerbated by syntactic incompatibility. This paper looks at what such a framework might consist of, expressed informally as a higher-order universal algebra of relations; examples are drawn from temporal logics.