403 search results - page 5 / 81 » Contracts for higher-order functions |
86
Voted
FOSSACS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
92
Voted
JUCS
2007
14 years 9 months ago
2007
: Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is pa...
100
Voted
APPML
2010
14 years 9 months ago
2010
In this paper, we apply a fixed point theorem to obtain sufficient conditions for the existence of positive periodic solutions for two classes of higher-order functional differenc...
KI
2008
Springer
14 years 9 months ago
2008
Springer
In this paper we suggest a typed compositional semantics for nominal compounds of the form [Adj Noun] that models adjectives as higher-order polymorphic functions, and where types...
AFP
1995
Springer
15 years 1 months ago
1995
Springer
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...