Fine-Tuned Scheduling of Linear Ordered Attribute Grammars

L. Thomas van Binsbergen

Research output: Thesis › Master's Thesis

1 Conference contribution
1 Paper

1 results

Filter

2015

Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving
van Binsbergen, L. T., 1 Jan 2015, Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin / Heidelberg, p. 289-303 15 p. (Lecture Notes in Computer Science; vol. 9035).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution