An Extensible State Machine Pattern for Interactive Applications
No abstract available.
DOI 10.1007/978-3-540-70592-5_24
Related papers
- The Session Abstract Machine ESOP 2024
- Mining specifications POPL 2002
- Extensible pattern matching via a lightweight language extension ICFP 2007
- Assimilating MetaBorg: : embedding language tools in languages GPCE 2006
- The Design, Implementation, and Evaluation of Jade TOPLAS 1998
- AXI4MLIR: User-Driven Automatic Host Code Generation for Custom AXI-Based Accelerators CGO 2024
- Verification of Quantitative Hyperproperties Using Trace Enumeration Relations CAV 2020
- User Recovery and Reversal in Interactive Systems TOPLAS 1984