Semantic Scholar uses AI to extract papers important to this topic.
The business process modelling notation (BPMN) is a graph-oriented language in which control and action nodes can be connected… Expand Graph oriented models are at the core of most business process management systems. In recent years, "algebraic" business process… Expand Effective data prefetching requires accurate mechanisms to predict both “which” cache blocks to prefetch and “when” to prefetch… Expand Pattern matching is an important feature in various functional programming languages such as SML, Caml, Haskell, etc. In these… Expand We introduce a method to detect and eliminate dead code in typed functional programming languages. Our approach relies on a type… Expand We present an approach for optimizing programs that uncovers additional opportunities for optimization of a statement by… Expand Presents a path-profile-guided partial dead code elimination algorithm that uses predication to enable sinking for the removal of… Expand Partial Redundancy Elimination (PRE) is a general scheme for suppressing partial redundancies which encompasses traditional… Expand A new aggressive algorithm for the elimination of partially dead code is presented, i.e., of code which is only dead on some… Expand A complex and time-consuming function of a modern compiler is global optimization. Unlike other functions of a compiler such as… Expand