共 50 条
- [21] On the analysis of CMMN expressiveness: revisiting workflow patterns 2016 IEEE 20TH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING WORKSHOP (EDOCW), 2016, : 54 - 61
- [23] A calculational approach to control-flow analysis by abstract interpretation STATIC ANALYSIS, 2008, 5079 : 347 - +
- [24] Control-flow Refinement and Progress Invariants for Bound Analysis PLDI'09 PROCEEDINGS OF THE 2009 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2009, : 375 - 385
- [25] Binary Control-Flow Trimming PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), 2019, : 1009 - 1022
- [26] Workflow verification: Finding control-flow errors using Petri-net-based techniques BUSINESS PROCESS MANAGEMENT: MODELS, TECHNIQUES, AND EMPIRICAL STUDIES, 2000, 1806 : 161 - 183
- [27] Control-Flow Carrying Code PROCEEDINGS OF THE 2019 ACM ASIA CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (ASIACCS '19), 2019, : 3 - 14
- [28] Traces of Control-Flow Graphs DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 2009, 5583 : 156 - 169
- [29] Partial Control-Flow Linearization PROCEEDINGS OF THE 39TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, PLDI 2018, 2018, : 543 - 556
- [30] A pointcut language for control-flow GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING 2004, PROCEEDINGS, 2004, 3286 : 95 - 114