BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Mol:Maarten_de

Contributed to:

FASE 20122012
GT-VMT 20102010
AGTIVE 20072007
CEFP 20072007
IFL 20052005
IFL 20012001
AGTIVE 19991999

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.