Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Proof Tool Support for Explicit Strictness

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

Publication date

January 2006

DOI

10.1007/11964681_3

Publisher

Dublin, Ireland : Springer Verlag

ISSN

0302-9743

Citation count (estimate)

12

Abstract

Contains fulltext : 35481.pdf (preprint version ) (Open Access

Extracted data

Related items

The quest for correctness

Barendregt, H.P.

January 1996

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

Automated Machine-Checked Hybrid System Safety Proofs

Kaufmann, M.
Paulson, L.
Geuvers, H.
Koprowski, A.
Synek, D.
Weegen, E.E. van der

January 2010

Contains fulltext : 83344.pdf ( ) (Closed access)Scientific publicatio

Proviola: A tool for proof re-animation

Tankink, C.
Geuvers, H.
McKinna, J.
Wiedijk, F.

January 2010

Contains fulltext : 84164.pdf (preprint version ) (Closed access) ...

Strictness Analysis via Resource Typing

Barendsen, E.
Smetsers, J.E.W.

January 2007

Contains fulltext : 36506.pdf (preprint version ) (Open Access

Formal Methods for Security?

Poll, Erik

January 2019

Contains fulltext : 207807.pdf (preprint version ) (Open Access

Tools for Test Case Generation

Belinfante, A.
Frantzen, L.
Schallhart, C.

January 2005

Contains fulltext : 33161.pdf (publisher's version ) (Closed access

Reasoning about explicit strictness in a lazy language using mixed lazy/strict semantics

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

January 2002

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

Hoepman, J.-H.
Lieshout, M.J. van

January 2012

Contains fulltext : 103642.pdf (preprint version ) (Open Access

Privacyaspecten

Berkvens, J.M.A.

January 2014

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

Verifying Curve25519 Software

Chen, Y.-F.
Hsu, C.-H.
Lin, H.-H.
Schwabe, P.
Tsai, M.-H.
Wang, B.-Y.
Yang, B.-Y.
Yang, S.Y.

January 2014

Contains fulltext : 132669.pdf (preprint version ) (Open Access

Proving lazy folklore with mixed lazy/strict semantics

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

January 2007

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

Practical Formal Methods

Keiren, J.J.A.

January 2019

Contains fulltext : 207828.pdf (preprint version ) (Open Access

Zwart, H.A.E.

January 2007

Contains fulltext : 34597.pdf (preprint version ) (Open Access

Formal proof -- getting started

Wiedijk, F.

January 2008

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

Increased security through open source

Hoepman, J.H.
Jacobs, B.P.F.

January 2007

Contains fulltext : 34619.pdf (postprint version ) (Open Access

The quest for correctness

Barendregt, H.P.

January 1996

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

Automated Machine-Checked Hybrid System Safety Proofs

Kaufmann, M.
Paulson, L.
Geuvers, H.
Koprowski, A.
Synek, D.
Weegen, E.E. van der

January 2010

Contains fulltext : 83344.pdf ( ) (Closed access)Scientific publicatio

Proviola: A tool for proof re-animation

Tankink, C.
Geuvers, H.
McKinna, J.
Wiedijk, F.

January 2010

Contains fulltext : 84164.pdf (preprint version ) (Closed access) ...

Strictness Analysis via Resource Typing

Barendsen, E.
Smetsers, J.E.W.

January 2007

Contains fulltext : 36506.pdf (preprint version ) (Open Access

Formal Methods for Security?

Poll, Erik

January 2019

Contains fulltext : 207807.pdf (preprint version ) (Open Access

Tools for Test Case Generation

Belinfante, A.
Frantzen, L.
Schallhart, C.

January 2005

Contains fulltext : 33161.pdf (publisher's version ) (Closed access

Reasoning about explicit strictness in a lazy language using mixed lazy/strict semantics

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

January 2002

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

Hoepman, J.-H.
Lieshout, M.J. van

January 2012

Contains fulltext : 103642.pdf (preprint version ) (Open Access

Privacyaspecten

Berkvens, J.M.A.

January 2014

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

Verifying Curve25519 Software

Chen, Y.-F.
Hsu, C.-H.
Lin, H.-H.
Schwabe, P.
Tsai, M.-H.
Wang, B.-Y.
Yang, B.-Y.
Yang, S.Y.

January 2014

Contains fulltext : 132669.pdf (preprint version ) (Open Access

Proving lazy folklore with mixed lazy/strict semantics

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

January 2007

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

Practical Formal Methods

Keiren, J.J.A.

January 2019

Contains fulltext : 207828.pdf (preprint version ) (Open Access

Zwart, H.A.E.

January 2007

Contains fulltext : 34597.pdf (preprint version ) (Open Access

Formal proof -- getting started

Wiedijk, F.

January 2008

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

Increased security through open source

Hoepman, J.H.
Jacobs, B.P.F.

January 2007

Contains fulltext : 34619.pdf (postprint version ) (Open Access

The quest for correctness

Barendregt, H.P.

January 1996

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

Automated Machine-Checked Hybrid System Safety Proofs

Kaufmann, M.
Paulson, L.
Geuvers, H.
Koprowski, A.
Synek, D.
Weegen, E.E. van der

January 2010

Contains fulltext : 83344.pdf ( ) (Closed access)Scientific publicatio

Proviola: A tool for proof re-animation

Tankink, C.
Geuvers, H.
McKinna, J.
Wiedijk, F.

January 2010

Contains fulltext : 84164.pdf (preprint version ) (Closed access) ...