2722 search results - page 221 / 545 » Automating Language Evolution |
127
click to vote
DSL
2009
15 years 2 months ago
2009
Traversals of heterogeneous object structures are the most common operations in schema-first applications where the three key issues are (1) separation of traversal specifications ...
120
click to vote
LICS
2002
IEEE
15 years 9 months ago
2002
IEEE
In joint work with Peter O’Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative pr...
158
click to vote
KR
2010
Springer
15 years 9 months ago
2010
Springer
Topological logics are a family of languages for representing and reasoning about topological data. In this paper, we consider propositional topological logics able to express the...
143
Voted
LOPSTR
2009
Springer
15 years 9 months ago
2009
Springer
In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP). We advocate the use of standard CP search strategies ...
126
click to vote
CSL
2001
Springer
15 years 9 months ago
2001
Springer
We reveal a symmetric structure in the ho/n games model of innocent strategies, introducing rigid strategies, a concept dual to bracketed strategies. We prove a direct definabilit...