http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM23Reichenbach 2026-04-06T01:00:51Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M23Reichenbach&diff=2718&oldid=prev 2024-12-01T09:25:23Z

<p>WG2.11/M24: Circular reference attribute evaluation</p> <p><b>New page</b></p><div>Reference attribute grammars (RAGs) are one mechanism for specifying the (static) semantics of programming languages. Circular attributes extend RAGs with the ability to compute fixpoints. In recent work on using circular attributes for program analysis, we have observed a number of performance limitations of the published analysis algorithms; in this talk, I will describe the state of our current work on improving these algorithms. This presentation is based on our paper [https://doi.org/10.1145/3687997.3695644 Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis] but will attempt to make a more structured argument for the correctness of the algorithm described there.</div>

Creichen