264 search results - page 19 / 53 » Expressing Iterative Properties Logically in a Symbolic Sett... |
121
click to vote
ECEASST
2008
14 years 11 months ago
2008
The OCL (Object Constraint Language) as part of the UML (Unified Modeling Language) is a rich language with different collection kinds (sets, multi-sets, sequences) and a large var...
ICML
2007
IEEE
16 years 1 days ago
2007
IEEE
We propose statistical predicate invention as a key problem for statistical relational learning. SPI is the problem of discovering new concepts, properties and relations in struct...
100
click to vote
FOIKS
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. We extend the open answer set semantics for programs with generalized literals. Such extended programs (EPs) have interesting properties, e.g. the ability to express infi...
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in ...
119
click to vote
VMCAI
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...