191 search results - page 3 / 39 » Second-Order Programs with Preconditions |
SIAMJO
2008
13 years 7 months ago
2008
SIAMJO
2011
13 years 2 months ago
2011
ICALP
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We prove that the boundedness problem for monadic secondorder logic over the class of all finite words is decidable.
ISIPTA
2003
IEEE
14 years 20 days ago
2003
IEEE
A second-order hierarchical uncertainty model of a system of independent random variables is studied in the paper. It is shown that the complex nonlinear optimization problem for ...
ESOP
2010
Springer
14 years 15 days ago
2010
Springer
Abstract. The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on the implementations of those procedures. T...