12 search results - page 3 / 3 » The Polytope of Context-Free Grammar Constraints |
ACL
1993
13 years 6 months ago
1993
There is a need to develop a suitable computational grammar formalism for free word order languages for two reasons: First, a suitably designed formalism is likely to be more effi...
CAV
2011
Springer
12 years 9 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...