177 search results - page 24 / 36 » Higher-Order Abstract Non-interference |
LISP
2006
13 years 8 months ago
2006
We introduce a concrete semantics for floating-point operations which describes the propagation of roundoff errors throughout a calculation. This semantics is used to assert the co...
SCP
1998
13 years 8 months ago
1998
In STOC 93, Jones sketched the existence of a hierarchy within problems decidable in linear time by a first-order functional language based on tree-structured data (F), as well a...
MOC
1998
13 years 8 months ago
1998
Abstract. A systematic development of higher order spectral analysis, introduced by Dellwo and Friedman, is undertaken in the framework of an appropriate product space. Accelerated...
KI
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We generalize traditional goals of clustering towards distinguishing components in a non-parametric mixture model. The clusters are not necessarily based on point locatio...
ITP
2010
14 years 15 days ago
2010
Abstract. We present a new scheme to translate mathematical developments from HOL Light to Coq, where they can be re-used and rechecked. By relying on a carefully chosen embedding ...