Maarten de Mol

According to our database, Maarten de Mol authored at least 14 papers between 1999 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Noninvasive regelbasierte Graphtransformation für Java.

James J. Hunt, Maarten de Mol, Arend Rensink

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

2013

EditorArrow: An arrow-based model for editor-based programming.

Peter Achten, Marko C. J. D. van Eekelen, Maarten de Mol, Rinus Plasmeijer

J. Funct. Program., 2013

Beautiful Code, Beautiful Proof?

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

Proceedings of the Beauty of Functional Code, 2013

2012

Modelling and analysis using GROOVE.

Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon, Maria Zimakova

Int. J. Softw. Tools Technol. Transf., 2012

Graph Transforming Java Data.

Maarten de Mol, Arend Rensink, James J. Hunt

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case

Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon

Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

2010

On A Graph Formalism for Ordered Edges.

Maarten de Mol, Arend Rensink

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

ICGT 2010 Doctoral Symposium.

Andrea Corradini, Maarten de Mol

Proceedings of the Graph Transformations - 5th International Conference, 2010

2007

Proving Properties of Lazy Functional Programs with Sparkle.

Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer

Proceedings of the Central European Functional Programming School, Second Summer School, 2007

A Single-Step Term-Graph Reduction System for Proof Assistants.

Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2005

Proof Tool Support for Explicit Strictness.

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

Proceedings of the Implementation and Application of Functional Languages, 2005

2004

Proof support for generic type classes.

Ron van Kesteren, Marko C. J. D. van Eekelen, Maarten de Mol

Proceedings of the Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, 2004

2001

Theorem Proving for Functional Programmers.

Maarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer

Proceedings of the Implementation of Functional Languages, 13th International Workshop, 2001

1999

A Proof Tool Dedicated to Clean - The First Prototype.

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

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999