Главная
Study mode:
on
1
Introduction
2
Nodebased vs Scriptbased
3
Using Existing Tools
4
Static Analysis
5
Using Z3
6
The bug
7
Finding paths
8
Night in the Woods
9
Z3 Constraints
10
Running in Reverse
11
Invariant Rules
12
Consequences
13
Conclusion
Description:
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.

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

linux.conf.au
Add to list