A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Description Languages
Macro systems are powerful language extension tools for Architecture Description Languages (ADLs). Their generative power in combination with the simplicity of specification languages allows for a substantial reduction of repetitive specification sections. This paper explores how the introduction of function- and record types in a template-based macro system impacts the specification of ADLs. We present design and implementation of a pattern-based syntax macro system for the Vienna Architecture Description Language (VADL). The macro system is directly integrated into the language and is analyzed at parse time using a context-sensitive pred-LL(*) parser. The usefulness of the macro system is illustrated by some typical macro application design patterns. The effectiveness is shown by a detailed evaluation of the Instruction Set Architecture (ISA) specification of five different processor architectures. The observed specification reduction can be up to 90 times, leading to improved maintainability, readability and runtime performance of the specifications.
Sun 22 OctDisplayed time zone: Lisbon change
14:00 - 15:30 | Session 2GPCE at Room XV Chair(s): Eric Van Wyk Department of Computer Science and Engineering, University of Minnesota, USA | ||
14:00 30mTalk | A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Description Languages GPCE | ||
14:30 30mTalk | A Monadic Framework for Name Resolution in Multi-Phased Type Checkers GPCE Casper Bach Poulsen Delft University of Technology, Aron Zwaan Delft University of Technology, Paul Hübner Delft University of Technology Link to publication DOI Pre-print | ||
15:00 30mTalk | C2TACO: Lifting Tensor Code to TACO GPCE José Wesley De Souza Magalhães University of Edinburgh, Jackson Woodruff University of Edinburgh, Elizabeth Polgreen University of Edinburgh, Michael F. P. O'Boyle University of Edinburgh |