skip to main content
10.1145/1159842.1159856acmconferencesArticle/Chapter ViewAbstractPublication PagesicfpConference Proceedingsconference-collections
Article

Introducing the Haskell equational reasoning assistant

Published: 17 September 2006 Publication History

Abstract

We introduce the new, improved version of the Haskell Equational Reasoning Assistant, which consists of an Ajax application for rewriting Haskell fragments in their context, and an API for scripting non-trivial rewrites.

References

[1]
Bravenboer, M., Kalleberg, K. T., Vermaas, R. and Visser. E. Stratego/XT Tutorial, Examples, and Reference Manual (latest), Department of Information and Computing Sciences, Universiteit Utrecht, Utrecht, The Netherlands, 2006.
[2]
de Mol, M., van Eekelen, M., Plasmeijer, R., Theorem Proving for Functional Programmers - SPARKLE: A Functional Theorem Prover, Proceedings of the 13th International Workshop on the Implementation of Functional Languages, Älvsjö, Sweden, September 24-26, 2001, Springer-Verlag, LNCS 2312.
[3]
Garrett, J.J., Ajax: A New Approach to Web Applications, http://adaptivepath.com/publications/essays/archives/, February 18, 2005.
[4]
Gill, A., The Technology Behind a Graphical User Interface for an Equational Reasoning Assistant, Proceedings of the Eighth Annual Glasgow Workshop on Functional Programming, July 1995.
[5]
Li, H. and Thompson, S. and Reinke, C., The Haskell Refactorer, HaRe, and its API, Proceedings of the 5th workshop on Language Descriptions, Tools and Applications, Edinburgh, Scotland, April 2005.
[6]
Peyton Jones, S.L. and Launchbury, J., Unboxed values as first class citizens, Functional Programming Languages and Computer Architecture (FPCA'91), Boston, LNCS 523, Springer Verlag, Sept 1991.
[7]
Sheard, T. and Peyton Jones, S., Template metaprogramming for Haskell, Proc. Haskell Workshop, Pittsburg, 2002.

Cited By

View all

Index Terms

  1. Introducing the Haskell equational reasoning assistant

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell
    September 2006
    131 pages
    ISBN:1595934898
    DOI:10.1145/1159842
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 17 September 2006

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. ajax applications
    2. equational reasoning
    3. transformation tools

    Qualifiers

    • Article

    Conference

    ICFP06
    Sponsor:

    Acceptance Rates

    Overall Acceptance Rate 57 of 143 submissions, 40%

    Upcoming Conference

    ICFP '25
    ACM SIGPLAN International Conference on Functional Programming
    October 12 - 18, 2025
    Singapore , Singapore

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)3
    • Downloads (Last 6 weeks)1
    Reflects downloads up to 19 Feb 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2019)Improving HaskellTrends in Functional Programming10.1007/978-3-030-18506-0_6(114-135)Online publication date: 24-Apr-2019
    • (2015)Reasoning with the HERMIT: tool support for equational reasoning on GHC core programsACM SIGPLAN Notices10.1145/2887747.280430350:12(23-34)Online publication date: 30-Aug-2015
    • (2015)Reasoning with the HERMIT: tool support for equational reasoning on GHC core programsProceedings of the 2015 ACM SIGPLAN Symposium on Haskell10.1145/2804302.2804303(23-34)Online publication date: 30-Aug-2015
    • (2014)The Kansas University rewrite engineJournal of Functional Programming10.1017/S095679681400018524:4(434-473)Online publication date: 3-Jul-2014
    • (2013)The HERMIT in the TreeImplementation and Application of Functional Languages10.1007/978-3-642-41582-1_6(86-103)Online publication date: 16-Nov-2013
    • (2012)The HERMIT in the machineACM SIGPLAN Notices10.1145/2430532.236450847:12(1-12)Online publication date: 13-Sep-2012
    • (2012)The HERMIT in the machineProceedings of the 2012 Haskell Symposium10.1145/2364506.2364508(1-12)Online publication date: 13-Sep-2012
    • (2012)The Design of a Practical Proof Checker for a Lazy Functional LanguageProceedings of the 2012 Conference on Trends in Functional Programming - Volume 782910.1007/978-3-642-40447-4_8(117-132)Online publication date: 12-Jun-2012
    • (2011)Equational Reasoning on x86 Assembly CodeProceedings of the 2011 IEEE 11th International Working Conference on Source Code Analysis and Manipulation10.1109/SCAM.2011.15(75-84)Online publication date: 25-Sep-2011
    • (2011)An Expression Processor: A Case Study in Refactoring Haskell ProgramsTrends in Functional Programming10.1007/978-3-642-22941-1_3(31-49)Online publication date: 2011
    • Show More Cited By

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media