Maarten de Mol

14 papers B 2C 1Journal 3Unranked 8
YearRankTypeTitle / Venue / Authors
2014 C conf
Noninvasive regelbasierte Graphtransformation für Java.
Software Engineering
James J. Hunt, Maarten de Mol, Arend Rensink
2013 — conf
Beautiful Code, Beautiful Proof?
The Beauty of Functional Code
Maarten de Mol, Marko C. J. D. van Eekelen
2013 J jnl
EditorArrow: An arrow-based model for editor-based programming.
J. Funct. Program.
Peter Achten, Marko C. J. D. van Eekelen, Maarten de Mol, Rinus Plasmeijer
2012 B conf
Graph Transforming Java Data.
FASE
Maarten de Mol, Arend Rensink, James J. Hunt
2012 J jnl
Modelling and analysis using GROOVE.
Int. J. Softw. Tools Technol. Transf.
Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon, Maria Zimakova
2011 — conf
Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case
TTC
Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon
2010 B conf
ICGT 2010 Doctoral Symposium.
ICGT
Andrea Corradini, Maarten de Mol
2010 J jnl
On A Graph Formalism for Ordered Edges.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Maarten de Mol, Arend Rensink
2007 — conf
A Single-Step Term-Graph Reduction System for Proof Assistants.
AGTIVE
Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer
2007 — conf
Proving Properties of Lazy Functional Programs with Sparkle.
CEFP
Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer
2005 — conf
Proof Tool Support for Explicit Strictness.
IFL
Marko C. J. D. van Eekelen, Maarten de Mol
2004 — conf
Proof support for generic type classes.
Trends in Functional Programming
Ron van Kesteren, Marko C. J. D. van Eekelen, Maarten de Mol
2001 — conf
Theorem Proving for Functional Programmers.
IFL
Maarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
1999 — conf
A Proof Tool Dedicated to Clean - The First Prototype.
AGTIVE
Maarten de Mol, Marko C. J. D. van Eekelen