This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
R. S. Boyer, M. Kaufmann: On the Feasability of Mechanically Verifying SASL Programs Memo ARC 84-16, Austin 1984
R. S. Boyer, M. Kaufmann: A Prototype Theorem-Prover for a Higher-Order Functional Language Memo ARC 84-17, Austin 1984
R. S. Boyer, J. S. Moore: A Computational Logic Academic Press, 1979
C. C. Chang, H.J. Keisler: Model Theory North Holland, Amsterdam 1973
H. B. Curry, R. Feys: Combinatory Logic Vol. I Amsterdam 1958
M. Kaufmann: A Sound Theorem-Prover for a Higher-Order Functional Language Memo ARC-86-01, Austin 1986
M. Kaufmann, D. Surber: Syntax, Semantics and a Formal Logic for SASL Memo ARC-85-03, Austin 1985
Y. N. Moschovakis: Abstract First Order Compability I and II Trans. Amer. Math. Soc. 138 (1969)
K. Nökel: SASL: Implementierung einer Reduktionsmaschine und Steuerung und Organisation eines Beweissystems für eine Logik Diplomarbeit, Aachen 1985
R. Rehbold: SASL: Implementierung eines Abstraktionsalgorithmus und Beweisalgorithmen für eine Logik Diplomarbeit, Aachen 1985
E. A. Schneider: A Formal Definition of SASL for Verification Proofs Memo ARC-84-5, Austin 1984
M. Schönfinkel: Über die Bausteine der mathematischen Logik Math. Annalen 92 (1924), p. 305–316
D. A. Turner: A New Implementation Technique for Applicative Languages Software — Practice and Experience, Vol. 9 (1979) p. 31–49
D. A. Turner: SASL Language Manual — revised version University of Kent, Canterbury 1983
C. P. Wadsworth: Semantics and Pragmatics of the λ-Calculus DPhil Thesis, Oxford 1971
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Nökel, K., Rehbold, R., Richter, M.M. (1987). Remarks on SASL and the verification of functional programming languages. In: Börger, E. (eds) Computation Theory and Logic. Lecture Notes in Computer Science, vol 270. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18170-9_172
Download citation
DOI: https://doi.org/10.1007/3-540-18170-9_172
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18170-5
Online ISBN: 978-3-540-47795-2
eBook Packages: Springer Book Archive