skip to main content
article

QuickSpec: a lightweight theory exploration tool for programmers (system demonstration)

Published:07 September 2017Publication History
Skip Abstract Section

Abstract

This document gives the outline of a system demonstration for the QuickSpec theory exploration tool.

References

  1. K. Claessen, J. Hughes, N. Smallbone. QuickSpec: guessing formal specifications using testing . Tests and Proofs (TAP), 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. N. Smallbone, M. Johansson, K. Claessen, M. Algehed. Quick specifications for the busy programmer . Accepted for publication in the Journal of Functional Programming.Google ScholarGoogle Scholar
  3. M. Johansson, D. Rosén, N. Smallbone, K.Claessen. Hipster: integrating theory exploration in a proof assistant . Conference on Intelligent Computer Mathematics (CICM), 2014.Google ScholarGoogle ScholarCross RefCross Ref
  4. K. Claessen, M. Johansson, D. Rosén, N. Smallbone. Automating inductive proofs using theory exploration . Conference on Automated Deduction (CADE), 2013. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. K. Claessen, J. Hughes. QuickCheck: a lightweight tool for random testing of Haskell programs . International Conference on Functional Programming (ICFP), 2000. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. QuickSpec: a lightweight theory exploration tool for programmers (system demonstration)

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in

    Full Access

    • Published in

      cover image ACM SIGPLAN Notices
      ACM SIGPLAN Notices  Volume 52, Issue 10
      Haskell '17
      October 2017
      211 pages
      ISSN:0362-1340
      EISSN:1558-1160
      DOI:10.1145/3156695
      • Editor:
      • Andy Gill
      Issue’s Table of Contents
      • cover image ACM Conferences
        Haskell 2017: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell
        September 2017
        211 pages
        ISBN:9781450351829
        DOI:10.1145/3122955

      Copyright © 2017 ACM

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 7 September 2017

      Check for updates

      Qualifiers

      • article
    • Article Metrics

      • Downloads (Last 12 months)13
      • Downloads (Last 6 weeks)2

      Other Metrics

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader
    About Cookies On This Site

    We use cookies to ensure that we give you the best experience on our website.

    Learn more

    Got it!