Verification of Vortex Workflows
Abstract elided by the publisher.
Related papers
- Reduction of Workflow Nets for Generalised Soundness Verification VMCAI 2017
- Vortex: An Optimizing Compiler for Object-Oriented Languages OOPSLA 1996
- A framework for call graph construction algorithms TOPLAS 2001
- Computation semantics of the functional scientific workflow language Cuneiform JFP 2017
- Inside VOLT: Designing an Open-Source GPU Compiler (Tool) CC 2026
- Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets) TACAS 2016
- Uniform Modularization of Workflow Concerns Using Unify SLE 2011
- Reducing the barriers to writing verified specifications OOPSLA 2012