Loading...
Please wait, while we are loading the content...
Similar Documents
SMT-based optimization for synchronous programs
| Content Provider | ACM Digital Library |
|---|---|
| Author | Brandt, Jens Schneider, Klaus Bai, Yu |
| Abstract | In this paper, we present several optimization techniques to improve the runtime and size of the code generated from synchronous programs. These optimizations work on extended finite state machines (EFSMs) that can be used as intermediate representation for any synchronous system. Our optimizations consists of two phases: First, local optimization guides the EFSM generation and considers the states and edges separately. Second, global optimization is based on a dataflow analysis of the entire EFSM. For both phases, we employ an SMT (Satisfiability Modulo Theories) solver to verify the individual optimization steps. Our experiments show the potential of the presented optimizations: optimized programs generally have a smaller size and a better run-time performance. |
| Starting Page | 11 |
| Ending Page | 20 |
| Page Count | 10 |
| File Format | |
| ISBN | 9781450307635 |
| DOI | 10.1145/1988932.1988935 |
| Language | English |
| Publisher | Association for Computing Machinery (ACM) |
| Publisher Date | 2011-06-27 |
| Publisher Place | New York |
| Access Restriction | Subscribed |
| Subject Keyword | Code generation Extended finite state machines Synchronous languages Satisfiability-modulo-theory |
| Content Type | Text |
| Resource Type | Article |
