ICGT 2023
Wed 19 - Thu 20 July 2023 Leicester, United Kingdom
co-located with STAF 2023
Thu 20 Jul 2023 15:30 - 16:00 at Willow - ICGT Session 8: Tools & Applications Chair(s): Rachid Echahed

Several important data structures in programming are beyond trees. For example, difference lists, doubly-linked lists, skip lists, threaded trees, and leaf-linked trees. They can be abstracted into graphs (or, more precisely, port hypergraphs). In existing imperative programming languages, these structures are handled with destructive assignments to heaps, as opposed to a purely functional programming style. These low-level operations are tiresome, prone to errors, and difficult to verify. On the other hand, purely functional languages allow handling data structures declaratively with type safety. However, existing purely functional languages are incapable of dealing with data structures other than trees succinctly. In earlier work, we proposed a new statically typed purely functional language, λGT, that handles graphs as immutable, first-class data structures with pattern matching This paper presents a prototype implementation of the language constructed in only 500 lines of OCaml code. We believe this is usable for further investigation, including in the design of full-fledged languages based on λGT.

Slides for the presentation (sano20230720.pdf)452KiB

Thu 20 Jul

Displayed time zone: London change

15:30 - 17:15
ICGT Session 8: Tools & ApplicationsResearch Papers at Willow
Chair(s): Rachid Echahed University of Grenoble - CNRS

Remote Participants: Zoom Link, YouTube Livestream

Implementing the λGT Language: A Functional Language with Graphs as First-Class Data
Research Papers
P: Jin Sano Waseda University, Kazunori Ueda Waseda University
DOI File Attached
Computing k-Bisimulations for Large Graphs: A Comparison and Efficiency Analysis
Research Papers
Jannik Rau Ulm University, P: David Richerby University of Essex, Ansgar Scherp Ulm University
DOI Pre-print
Advanced Consistency Restoration with Higher-Order Short-Cut Rules
Research Papers
P: Lars Fritsche TU Darmstadt, Germany, Jens Kosiol Universität Kassel, Adrian Möller TU Darmstadt, Germany, Andy Schürr TU Darmstadt, Germany
Day closing
ICGT Conference Closing
Research Papers
Maribel Fernandez King's College London, Reiko Heckel University of Leicester, Chris Poskitt Singapore Management University