skip to main content
article
Free access

A prototype theorem-prover for a higher-order functional language

Published: 01 August 1985 Publication History
First page of PDF

References

[1]
{BM}R. S. Boyer and J. S. Moore, A Computational Logic, Academic Press, New York, 1984.
[2]
{GMW}M. J. Gordon, A. J. Milner, and C. P. Wadsworth, Edinburgh LCF, Lec. notes. Comp. Sci. 78, Springer-Verlag, 1979.
[3]
{K}M. Kaufmann, A direct construction of a SASL domain, Burroughs Austin Research Center, 1984.
[4]
{M}J. McCarthy, P. W. Abrahams, D. J. Edwards, T. P. Hart, and M. I. Levin, LISP 1.5 Programmer's Manual, MIT Press, Cambridge, Massachusetts, 1965.
[5]
{R1}H. Richards, An overview of ARC SASL, SIGPLAN Notices 19 (October 1984), pp. 40-45.
[6]
{R2}H. Richards, Programming in SASL, Burroughs Austin Research Center, 1984.
[7]
{T1}D. A. Turner, SASL Language Manual, Computer Laboratory, University of Kent, Canterbury, U.K., 1976 (revised 1979).
[8]
{T2}D. A. Turner, Functional programming and proofs of program correctness, in: Neel (ed.), Tools and Notions for Program Construction, Cambridge University Press, Cambridge, 1982.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes  Volume 10, Issue 4
Proceedings of VERkshop III -- a formal verification workshop
August 1985
135 pages
ISSN:0163-5948
DOI:10.1145/1012497
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 1985
Published in SIGSOFT Volume 10, Issue 4

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 226
    Total Downloads
  • Downloads (Last 12 months)136
  • Downloads (Last 6 weeks)8
Reflects downloads up to 14 Feb 2025

Other Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media