The purpose of this paper is to describe the FASE system of executable specifications of data types via a specification of Backus's FP language. We illustrate the ability to execute specifications as well as our more recent efforts to incorporate formal proofs into the system.
CITATION STYLE
Kamin, S. (1985). A FASE specification of FP. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 193 LNCS, pp. 143–152). Springer Verlag. https://doi.org/10.1007/3-540-15648-8_12
Mendeley helps you to discover research relevant for your work.