5128 search results - page 89 / 1026 » When Abstraction Fails |
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
Abstract-- Switched systems evolve over a sequence of continuous modes of operation, transitioning between modes in a discrete manner. Assuming a mode sequence is known, the evolut...
SYNTHESE
2011
14 years 4 months ago
2011
Rudolf Carnap’s Der logische Aufbau der Welt (The Logical Structure of the World) is generally conceived of as being the failed manifesto of logical positivism. In this paper we...
CIE
2011
Springer
13 years 9 months ago
2011
Springer
Abstract. In [She82], it is shown that four of its basic functional properties are enough to characterize plain Kolmogorov complexity, hence obtaining an axiomatic characterization...
ESOP
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. A behavioral contract in a higher-order language may invoke methods of unknown objects. Although this expressive power allows programmers to formulate sophisticated contr...
181
click to vote
LPAR
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...