Linearly ordered attribute grammar scheduling using SAT-solving
Paper i proceeding, 2015
Attribute Grammars
Static analysis
SAT-solving
Författare
J. Bransen
Universiteit Utrecht
L.T. Van Binsbergen
Royal Holloway University of London
Universiteit Utrecht
Koen Lindström Claessen
Chalmers, Data- och informationsteknik, Programvaruteknik
A.H. Dijkstra
Universiteit Utrecht
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