Linearly ordered attribute grammar scheduling using SAT-solving
Paper in proceeding, 2015
Attribute Grammars
Static analysis
SAT-solving
Author
J. Bransen
Utrecht University
L.T. Van Binsbergen
Royal Holloway University of London
Utrecht University
Koen Lindström Claessen
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
A.H. Dijkstra
Utrecht University
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 9035 289-3039783662466803 (ISBN)
DOI
10.1007/978-3-662-46681-0_24
ISBN
9783662466803