×

zbMATH — the first resource for mathematics

van Eekelen, Marko

Compute Distance To:
Author ID: van-eekelen.marko Recent zbMATH articles by "van Eekelen, Marko"
Published as: Van Eekelen, Marko; van Eekelen, M.; van Eekelen, Marko
External Links: MGP
Documents Indexed: 29 Publications since 1993, including 5 Books

Publications by Year

Citations contained in zbMATH

13 Publications have been cited 52 times in 43 Documents Cited by Year
Functional programming and parallel graph rewriting. Zbl 0788.68023
Plasmeijer, Rinus; van Eekelen, Marko
29
1993
Polynomial size analysis of first-order shapely functions. Zbl 1163.68009
Shkaravska, Olha; van Eekelen, Marko; van Kesteren, Ron
4
2009
Proof tool support for explicit strictness. Zbl 1236.68033
van Eekelen, Marko; de Mol, Maarten
4
2006
Univariate polynomial solutions of algebraic difference equations. Zbl 1284.39005
Shkaravska, O.; van Eekelen, M.
3
2014
Collected size semantics for strict functional programs over general polymorphic lists. Zbl 1445.68047
Shkaravska, Olha; van Eekelen, Marko; Tamalet, Alejandro
2
2014
Trends in trends in functional programming 1999/2000 versus 2007/2008. Zbl 1256.68028
Achten, Peter; van Eekelen, Marko; Koopman, Pieter; Morazán, Marco T.
2
2010
Polynomial size analysis of first-order functions. Zbl 1163.68316
Shkaravska, Olha; van Kesteren, Ron; van Eekelen, Marko
2
2007
Modular bialgebraic semantics and algebraic laws. Zbl 1405.68175
Madlener, Ken; Smetsers, Sjaak; van Eekelen, Marko
1
2013
Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving. Zbl 1213.68193
van Gastel, Bernard; Lensink, Leonard; Smetsers, Sjaak; van Eekelen, Marko
1
2011
Efficient and formally proven reduction of large integers by small moduli. Zbl 1364.65314
Rutten, Luc; Van Eekelen, Marko
1
2010
Inferring static non-monotone size-aware types through testing. Zbl 1283.68129
van Kesteren, Ron; Shkaravska, Olha; van Eekelen, Marko
1
2008
Theorem proving for functional programmers. SPARKLE: a functional theorem prover. Zbl 1053.68556
de Mol, Maarten; van Eekelen, Marko; Plasmeijer, Rinus
1
2002
Graph rewriting semantics for functional programming languages. Zbl 0884.68079
van Eekelen, Marko; Smetsers, Sjaak; Plasmeijer, Rinus
1
1997
Univariate polynomial solutions of algebraic difference equations. Zbl 1284.39005
Shkaravska, O.; van Eekelen, M.
3
2014
Collected size semantics for strict functional programs over general polymorphic lists. Zbl 1445.68047
Shkaravska, Olha; van Eekelen, Marko; Tamalet, Alejandro
2
2014
Modular bialgebraic semantics and algebraic laws. Zbl 1405.68175
Madlener, Ken; Smetsers, Sjaak; van Eekelen, Marko
1
2013
Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving. Zbl 1213.68193
van Gastel, Bernard; Lensink, Leonard; Smetsers, Sjaak; van Eekelen, Marko
1
2011
Trends in trends in functional programming 1999/2000 versus 2007/2008. Zbl 1256.68028
Achten, Peter; van Eekelen, Marko; Koopman, Pieter; Morazán, Marco T.
2
2010
Efficient and formally proven reduction of large integers by small moduli. Zbl 1364.65314
Rutten, Luc; Van Eekelen, Marko
1
2010
Polynomial size analysis of first-order shapely functions. Zbl 1163.68009
Shkaravska, Olha; van Eekelen, Marko; van Kesteren, Ron
4
2009
Inferring static non-monotone size-aware types through testing. Zbl 1283.68129
van Kesteren, Ron; Shkaravska, Olha; van Eekelen, Marko
1
2008
Polynomial size analysis of first-order functions. Zbl 1163.68316
Shkaravska, Olha; van Kesteren, Ron; van Eekelen, Marko
2
2007
Proof tool support for explicit strictness. Zbl 1236.68033
van Eekelen, Marko; de Mol, Maarten
4
2006
Theorem proving for functional programmers. SPARKLE: a functional theorem prover. Zbl 1053.68556
de Mol, Maarten; van Eekelen, Marko; Plasmeijer, Rinus
1
2002
Graph rewriting semantics for functional programming languages. Zbl 0884.68079
van Eekelen, Marko; Smetsers, Sjaak; Plasmeijer, Rinus
1
1997
Functional programming and parallel graph rewriting. Zbl 0788.68023
Plasmeijer, Rinus; van Eekelen, Marko
29
1993

Citations by Year