4211 search results - page 241 / 843 » Types as Abstract Interpretations |
138
click to vote
POPL
1998
ACM
15 years 10 months ago
1998
ACM
Data structures with a hole, in other words data structures with an uninitialized field, are useful to write efficient programs: they enable us to construct functional data stru...
150
Voted
VMCAI
2009
Springer
16 years 24 days ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
174
click to vote
ATVA
2009
Springer
16 years 18 days ago
2009
Springer
Weakly relational numeric domains express restricted classes of linear inequalities that strike a balance between what can be described and what can be efficiently computed. Popula...
132
click to vote
CDC
2008
IEEE
16 years 15 days ago
2008
IEEE
Abstract— In [1] a balanced canonical form for continuoustime lossless systems was presented. This form has a tridiagonal dynamical matrix A and the useful property that the corr...
166
click to vote
CIARP
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. It is argued that the ability to generalise is the most important characteristic of learning and that generalisation may be achieved only if pattern recognition systems l...