Ask
Search
My library

About
Statistics
Contact
Data Protection
Accessibility
Imprint
Changelog
Frontend: v1.31.3
Backend: v1.11.4

We use cookies to provide a better user experience.

Data Protection

Theorem Proving for functional Programmers - Sparkle: A Functional Theorem Prover

Mol, M.J.T.M.
Eekelen, M.C.J.D. van
Plasmeijer, M.J.

Publication date

January 2001

Publisher

Stockholm, Sweden : Springer

Abstract

Contains fulltext : 107663.pdf (preprint version ) (Open Access)13th International Workshop, IFL 2001, 24 september 200155 p

Extracted data

Related items

Introducing Functional Programmers to Interactive Theorem Proving and Program Verification Teaching Experience Report ∗

Ilya Sergey
Aleksandar Nanevski

October 2015

We report on the design and preliminary evaluation of a short introductory course on interactive the...

Comprehensive textbook on functional programming

Joosten, S.

January 1990

Functional programming / Anthony J. Field, Peter G. Harrison. - Wokingham : Addison-Wesley, 198

Functional programming and lambda calculus

Barendregt, H.P.

January 1990

Contains fulltext : 13246.pdf (publisher's version ) (Open Access

Theorem Proving for functional Programmers

Mol, M.J.T.M.
Eekelen, M.C.J.D. van
Plasmeijer, M.J.

January 2001

Contains fulltext : 107662.pdf (author's version ) (Open Access

Theorem proving for functional programmers - Sparkle: A functional theorem prover

Maarten De Mol
Marko Van Eekelen
Rinus Plasmeijer

January 2001

Abstract. Sparkle is a new theorem prover written and specialized in the functional programming lang...

Sparkle: a functional theorem prover

Rinus Plasmeijer
See Profile
Maarten De Mol
Marko Van Eekelen
Rinus Plasmeijer

January 2002

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Proving properties of lazy functional programs with Sparkle

Mol, Maarten de
Eekelen, M.C.J.D. van
Plasmeijer, Rinus

January 2007

Contains fulltext : 36369.pdf (author's version ) (Open Access

Reasoning about functional programs : Sparkle, a proof assistant for Clean

Mol, M.J. de

January 2009

Contains fulltext : 75980.pdf (publisher's version ) (Open Access)Radboud Universi...

A functional language to construct proofs

Reif, W.
Stephan, W. (Karlsruhe Univ. (T.H.) (Germany). Inst. fuer Informatik 1)
Heisel, M.
Karlsruhe Univ. (T.H.) (Germany). Fakultaet fuer Informatik

January 1986

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Efficient functional programming: compilation and programming techniques

Nöcker, E.G.J.M.H.

January 1994

Contains fulltext : mmubn000001_172857082.pdf (publisher's version ) (Open Access)...

Towards correct programs in practice : proving functional and non-functional properties by means of program analysis

Tamalet, A.N.

January 2011

Contains fulltext : 91403.pdf (publisher's version ) (Open Access)Radboud Universi...

Supporting formal reasoning about functional programs

Collins, Graham Richard McFarlane

January 2001

It is often claimed that functional programming languages, and in particular pure functional langua...

What Can we Gain by Integrating a Language Processor with a Theorem Prover?

Paul J. Voda

January 2003

this paper is to investigate the impact on the design of a programming language of tight integration...

Chapter 1 Proof for Functional Programming

Simon Thompson

October 2015

In this chapter we examine ways in which functional programs can be proved correct. For a number of ...

Induction and Co-induction in Sparkle

Lensink, L.
Eekelen, M.C.J.D. van

January 2004

Contains fulltext : 107666.pdf (author's version ) (Open Access)Fifth Symposium on...

Introducing Functional Programmers to Interactive Theorem Proving and Program Verification Teaching Experience Report ∗

Ilya Sergey
Aleksandar Nanevski

October 2015

We report on the design and preliminary evaluation of a short introductory course on interactive the...

Comprehensive textbook on functional programming

Joosten, S.

January 1990

Functional programming / Anthony J. Field, Peter G. Harrison. - Wokingham : Addison-Wesley, 198

Functional programming and lambda calculus

Barendregt, H.P.

January 1990

Contains fulltext : 13246.pdf (publisher's version ) (Open Access

Theorem Proving for functional Programmers

Mol, M.J.T.M.
Eekelen, M.C.J.D. van
Plasmeijer, M.J.

January 2001

Contains fulltext : 107662.pdf (author's version ) (Open Access

Theorem proving for functional programmers - Sparkle: A functional theorem prover

Maarten De Mol
Marko Van Eekelen
Rinus Plasmeijer

January 2001

Abstract. Sparkle is a new theorem prover written and specialized in the functional programming lang...

Sparkle: a functional theorem prover

Rinus Plasmeijer
See Profile
Maarten De Mol
Marko Van Eekelen
Rinus Plasmeijer

January 2002

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Proving properties of lazy functional programs with Sparkle

Mol, Maarten de
Eekelen, M.C.J.D. van
Plasmeijer, Rinus

January 2007

Contains fulltext : 36369.pdf (author's version ) (Open Access

Reasoning about functional programs : Sparkle, a proof assistant for Clean

Mol, M.J. de

January 2009

Contains fulltext : 75980.pdf (publisher's version ) (Open Access)Radboud Universi...

A functional language to construct proofs

Reif, W.
Stephan, W. (Karlsruhe Univ. (T.H.) (Germany). Inst. fuer Informatik 1)
Heisel, M.
Karlsruhe Univ. (T.H.) (Germany). Fakultaet fuer Informatik

January 1986

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Efficient functional programming: compilation and programming techniques

Nöcker, E.G.J.M.H.

January 1994

Contains fulltext : mmubn000001_172857082.pdf (publisher's version ) (Open Access)...

Towards correct programs in practice : proving functional and non-functional properties by means of program analysis

Tamalet, A.N.

January 2011

Contains fulltext : 91403.pdf (publisher's version ) (Open Access)Radboud Universi...

Supporting formal reasoning about functional programs

Collins, Graham Richard McFarlane

January 2001

It is often claimed that functional programming languages, and in particular pure functional langua...

What Can we Gain by Integrating a Language Processor with a Theorem Prover?

Paul J. Voda

January 2003

this paper is to investigate the impact on the design of a programming language of tight integration...

Chapter 1 Proof for Functional Programming

Simon Thompson

October 2015

In this chapter we examine ways in which functional programs can be proved correct. For a number of ...

Induction and Co-induction in Sparkle

Lensink, L.
Eekelen, M.C.J.D. van

January 2004

Contains fulltext : 107666.pdf (author's version ) (Open Access)Fifth Symposium on...

Introducing Functional Programmers to Interactive Theorem Proving and Program Verification Teaching Experience Report ∗

Ilya Sergey
Aleksandar Nanevski

October 2015

We report on the design and preliminary evaluation of a short introductory course on interactive the...

Comprehensive textbook on functional programming

Joosten, S.

January 1990

Functional programming / Anthony J. Field, Peter G. Harrison. - Wokingham : Addison-Wesley, 198

Functional programming and lambda calculus

Barendregt, H.P.

January 1990

Contains fulltext : 13246.pdf (publisher's version ) (Open Access