403 search results - page 7 / 81 » Contracts for higher-order functions |
117
click to vote
TYPES
2000
Springer
15 years 3 months ago
2000
Springer
We report on the design of a prototyping component for the theorem prover Isabelle/HOL. Specifications consisting of datatypes, recursive functions and inductive definitions are co...
IGARSS
2010
14 years 9 months ago
2010
Presented in this paper is a method of retrieving higher order statistical functions of the ocean wave surface from sunglint, or solar optical radiation specularly reflected from t...
VMCAI
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We present a multi-pass interprocedural analysis and transformation for the functional aggregate update problem. Our solution handles untyped programs, including unrestri...
96
Voted
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we extend the class of energy functions for which the optimal -expansion and -swap moves can be computed in polynomial time. Specifically, we introduce a class of hi...
LFCS
1992
Springer
15 years 3 months ago
1992
Springer
A generator program for a computable function (by definition) generates an infinite sequence of programs all but finitely many of which compute that function. Machine learning of ...