Maarten de Mol

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
Noninvasive regelbasierte Graphtransformation für Java.
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

2013
EditorArrow: An arrow-based model for editor-based programming.
J. Funct. Program., 2013

Beautiful Code, Beautiful Proof?
Proceedings of the Beauty of Functional Code, 2013

2012
Modelling and analysis using GROOVE.
Int. J. Softw. Tools Technol. Transf., 2012

Graph Transforming Java Data.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011
Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case
Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

2010
On A Graph Formalism for Ordered Edges.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

ICGT 2010 Doctoral Symposium.
Proceedings of the Graph Transformations - 5th International Conference, 2010

2007
Proving Properties of Lazy Functional Programs with Sparkle.
Proceedings of the Central European Functional Programming School, Second Summer School, 2007

A Single-Step Term-Graph Reduction System for Proof Assistants.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2005
Proof Tool Support for Explicit Strictness.
Proceedings of the Implementation and Application of Functional Languages, 2005

2004
Proof support for generic type classes.
Proceedings of the Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, 2004

2001
Theorem Proving for Functional Programmers.
Proceedings of the Implementation of Functional Languages, 13th International Workshop, 2001

1999
A Proof Tool Dedicated to Clean - The First Prototype.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999


  Loading...