Compiling Your Story - Using Techniques from Compiler Design to Check Your Narrative

Explore compiler design techniques applied to narrative writing in this 46-minute conference talk from linux.conf.au. Learn how Yarn Spinner, an open-source narrative design tool, uses static analysis to catch errors in branching narratives. Discover how symbolic execution and basic block analysis can help writers identify problems in their storytelling, saving development time and resources. Gain insights into testing dialogue more efficiently by determining necessary variable states for accessing specific lines. Understand the benefits of applying programming language compiler concepts to improve the reliability and quality of interactive storytelling in games.

Introduction
Nodebased vs Scriptbased
Using Existing Tools
Static Analysis
Using Z3
The bug
Finding paths
Night in the Woods
Z3 Constraints
Running in Reverse
Invariant Rules
Consequences
Conclusion