A Modular and Statically Typed Effectful Stack for Custom Graph Traversals

Tausch N, Philippsen M (2014)


Publication Language: English

Publication Type: Conference contribution, Original article

Publication year: 2014

Series: Electronic Communications of the EASST

Pages Range: -

Conference Proceedings Title: Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014)

Event location: York, UK GB

Journal Issue: 68

URI: http://journal.ub.tu-berlin.de/eceasst/article/view/952

DOI: 10.14279/tuj.eceasst.68.952

Abstract

Programmers often have to implement custom graph traversals by hand as either there are no suitable text-book algorithms for their tasks, or their problems are too complex for a pure querying language that lacks modularity or static typing. Our new Scala-based graph traversal language uses an effectful stack that adapts monads and type classes. Arbitrary graph effect computations and graph processing rules can be defined and composed in a modular and statically typed way. Custom graph traversals become expressible in a concise notation, run both in-memory and on graph databases, and also allow for parallelization. We evaluate the usability of our approach by detecting occurences of an anti-pattern in a Java source code archive. Our approach outperforms the well-known Gremlin approach due to parallelization.

Authors with CRIS profile

How to cite

APA:

Tausch, N., & Philippsen, M. (2014). A Modular and Statically Typed Effectful Stack for Custom Graph Traversals. In Tichy, Matthias ; Westfechtel, Bernhard (Eds.), Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014) (pp. -). York, UK, GB.

MLA:

Tausch, Norbert, and Michael Philippsen. "A Modular and Statically Typed Effectful Stack for Custom Graph Traversals." Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014), York, UK Ed. Tichy, Matthias ; Westfechtel, Bernhard, 2014. -.

BibTeX: Download