Visualizing the turing tarpit

Authors:
Jason Hemann;Eric Holk
Affiliations:
Indiana University, Bloomington, IN, USA;Indiana University, Bloomington, IN, USA
Venue:
Proceedings of the first ACM SIGPLAN workshop on Functional art, music, modeling & design
Year:
2013

Citing 7
Cited 0

Program visualization: the art of mapping programs to pictures

ICSE '92 Proceedings of the 14th international conference on Software engineering
Trampolined style

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Demonstrating lambda calculus reduction

The essence of computation
Special Feature: Epigrams on programming

ACM SIGPLAN Notices
Very Simple Chaitin Machines for Concrete AIT

Fundamenta Informaticae
Lambda-Calculus and Combinators: An Introduction

Lambda-Calculus and Combinators: An Introduction
TILC: The Interactive Lambda-Calculus Tracer

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Minimal programming languages like Jot generate limited interest outside of the community of languages enthusiasts. This is unfortunate, because the simplicity of these languages endows them with an inherent beauty and provides deep insight into the nature of computation. We present a way of visualizing the behavior of many Jot programs at once, providing interesting images and also hinting at somewhat non-obvious relationships between programs. In the same way that fractals research has yielded new mathematical insights, research into visualization such as that presented here could produce new perspectives on the structure and nature of computation. A gallery containing the visualizations presented herein can be found at http://tarpit.github.io/TarpitGazer.