Travelled to:1 × Estonia
1 × Germany
1 × Ireland
1 × Romania
1 × Sweden
1 × The Netherlands
Collaborated with:M.C.J.D.v.Eekelen A.Rensink R.Plasmeijer J.J.Hunt M.J.Plasmeijer
Talks about:proof (3) graph (3) function (2) prove (2) tool (2) transform (1) prototyp (1) properti (1) programm (1) explicit (1)
Person: Maarten de Mol
DBLP: Mol:Maarten_de
Contributed to:
2012
2010
2007
2007
200520011999Wrote 7 papers:
- FASE-2012-MolRH #graph #java
- Graph Transforming Java Data (MdM, AR, JJH), pp. 209–223.
- GT-VMT-2010-MolR #graph #on the #order
- On A Graph Formalism for Ordered Edges (MdM, AR).
- AGTIVE-2007-MolEP #proving #reduction
- A Single-Step Term-Graph Reduction System for Proof Assistants (MdM, MCJDvE, RP), pp. 184–200.
- CEFP-2007-MolEP #functional #lazy evaluation #proving #source code
- Proving Properties of Lazy Functional Programs with Sparkle (MdM, MCJDvE, RP), pp. 41–86.
- IFL-2005-EekelenM #proving #strict #tool support
- Proof Tool Support for Explicit Strictness (MCJDvE, MdM), pp. 37–54.
- IFL-2001-MolEP #functional #proving #theorem proving
- Theorem Proving for Functional Programmers (MdM, MCJDvE, MJP), pp. 55–71.
- AGTIVE-1999-MolE #prototype #proving
- A Proof Tool Dedicated to Clean — The First Prototype (MdM, MCJDvE), pp. 271–278.