Advertisement

Remarks on SASL and the verification of functional programming languages

  • Klaus Nökel
  • Robert Rehbold
  • Michael M. Richter
Chapter
Part of the Lecture Notes in Computer Science book series (LNCS, volume 270)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Bo-Ka84a]
    R. S. Boyer, M. Kaufmann: On the Feasability of Mechanically Verifying SASL Programs Memo ARC 84-16, Austin 1984Google Scholar
  2. [Bo-Ka84b]
    R. S. Boyer, M. Kaufmann: A Prototype Theorem-Prover for a Higher-Order Functional Language Memo ARC 84-17, Austin 1984Google Scholar
  3. [Bo-Mo79]
    R. S. Boyer, J. S. Moore: A Computational Logic Academic Press, 1979Google Scholar
  4. [Ch-Kei73]
    C. C. Chang, H.J. Keisler: Model Theory North Holland, Amsterdam 1973Google Scholar
  5. [Cu58]
    H. B. Curry, R. Feys: Combinatory Logic Vol. I Amsterdam 1958Google Scholar
  6. [Ka86]
    M. Kaufmann: A Sound Theorem-Prover for a Higher-Order Functional Language Memo ARC-86-01, Austin 1986Google Scholar
  7. [Ka-Su85]
    M. Kaufmann, D. Surber: Syntax, Semantics and a Formal Logic for SASL Memo ARC-85-03, Austin 1985Google Scholar
  8. [Mo69]
    Y. N. Moschovakis: Abstract First Order Compability I and II Trans. Amer. Math. Soc. 138 (1969)Google Scholar
  9. [Nö85]
    K. Nökel: SASL: Implementierung einer Reduktionsmaschine und Steuerung und Organisation eines Beweissystems für eine Logik Diplomarbeit, Aachen 1985Google Scholar
  10. [Re85]
    R. Rehbold: SASL: Implementierung eines Abstraktionsalgorithmus und Beweisalgorithmen für eine Logik Diplomarbeit, Aachen 1985Google Scholar
  11. [Sch84]
    E. A. Schneider: A Formal Definition of SASL for Verification Proofs Memo ARC-84-5, Austin 1984Google Scholar
  12. [Schö24]
    M. Schönfinkel: Über die Bausteine der mathematischen Logik Math. Annalen 92 (1924), p. 305–316Google Scholar
  13. [Tu79]
    D. A. Turner: A New Implementation Technique for Applicative Languages Software — Practice and Experience, Vol. 9 (1979) p. 31–49Google Scholar
  14. [Tu83]
    D. A. Turner: SASL Language Manual — revised version University of Kent, Canterbury 1983Google Scholar
  15. [Wa71]
    C. P. Wadsworth: Semantics and Pragmatics of the λ-Calculus DPhil Thesis, Oxford 1971Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Klaus Nökel
    • 1
  • Robert Rehbold
    • 1
  • Michael M. Richter
    • 1
  1. 1.Fachbereich InformatikUniversität KaiserslauternKaiserslautern

Personalised recommendations