6554 search results - page 206 / 1311 » Constraint Logic Programming |
229
click to vote
ENASE
2011
2011
Transforming Attribute and Clone-enabled Feature Models into Constraint Programs over Finite Domains
14 years 6 months ago
178
click to vote
CLIMA
2004
15 years 7 months ago
2004
An important branch of investigation in the field agents has been the definition of high level languages for representing effects of actions, the programs written in such languages...
146
click to vote
LICS
2002
IEEE
15 years 11 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...
262
click to vote
PLPV
2011
ACM
14 years 9 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...