A First Step towards a Compiler for Business Processes
No abstract available.
Related papers
- An empirical study on simplification of business process modeling languages SLE 2015
- Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes TACAS 2016
- An abstraction for reusable MDD components: model-based generation of model-based code generators GPCE 2008
- CCG: A Prototype Coagulating Code Generator PLDI 1991
- A Clash Course in Solving Sudoku (Functional Pearl) Haskell 2025
- Dynamic class initialization semantics: a jinja extension CPP 2019
- Automatic Design of Data Processing Systems POPL 1976
- Ghost Signals: Verifying Termination of Busy Waiting - Verifying Termination of Busy Waiting CAV 2021