1686 search results - page 69 / 338 » Higher Order Deforestation |
113
click to vote
APPML
2010
15 years 7 hour 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...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Nominal Logic is an extension of first-order logic with equality, name-binding, name-swapping, and freshness of names. Contrarily to higher-order logic, bound variables a...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
102
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites-a property that eliminates spurious interprocedural...