This paper gives a semantics for the Clear language for specifying problems and programs, described by Burstall and Goguen in 1977. A blend of denotational semantics with categorical ideas is used.
CITATION STYLE
Burstall, R. M., & Goguen, J. A. (1980). The semantics of clear. A specification language. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 86 LNCS, pp. 292–332). Springer Verlag. https://doi.org/10.1007/3-540-10007-5_41
Mendeley helps you to discover research relevant for your work.