#### Filter Results:

- Full text PDF available (4)

#### Publication Year

2012

2016

- This year (0)
- Last five years (5)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

Domain-specific language for graph-based structures User supplies the input graph and the graph transformation rules Small set of imperative control constructs to organise rule applications Non-deterministic execution Simple syntax and semantics to facilitate formal reasoning GP 2

- Christopher Bak, Detlef Plump
- ICGT
- 2016

- Detlef Plump, Christopher Bak
- ECEASST
- 2012

We present an approach for programming with graph transformation rules in which programs can be as efficient as programs in imperative languages. The basic idea is to equip rules and host graphs with distinguished nodes, so-called roots, and to match roots in rules with roots in host graphs. This enables graph transformation rules to be matched in constant… (More)

- Christopher Bak
- 2012

Implementing a graph programming system is not a straightforward task. The challenge not only lies in converting a graphical graph-based program into low-level machine code, but the code must correctly perform the complex and non-deterministic operation of graph transformation through graph rewriting rules. GP is a high-level graph programming language.… (More)

This project aims to solve the 17×17 4-colouring challenge first proposed by William Gasarch in late 2009. The challenge is to fill a 17×17 grid with four colours such that no rectangle within the grid has the same colour in all of its four corners. This is one of the few unsolved problems in grid-colouring, and it has been studied from several different… (More)

- ‹
- 1
- ›