6 search results - page 2 / 2 » Monadic Second-Order Logic for Graphs: Algorithmic and Langu... |
OOPSLA
2010
Springer
13 years 3 months ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...