Term rewriting on GPUs

DOI10.1007/978-3-030-89247-0_12zbMath1496.68168arXiv2009.07174OpenAlexW3210166429MaRDI QIDQ2145278

Anton Wijs, Pieter Hijma, Johri van Eerd, Jan Martens, Jan Friso Groote

Publication date: 17 June 2022

Full work available at URL: https://arxiv.org/abs/2009.07174

zbMATH Keywords

parallel computingterm rewritingprogrammingGPU

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10) Grammars and rewriting systems (68Q42)

Related Items (1)

Analysing parallel complexity of term rewriting

Uses Software

• mCRL2
• CUDA
• GPU-PRISM
• textX

Cites Work

• Optimising purely functional GPU programs
• Unnamed Item

This page was built for publication: Term rewriting on GPUs