1689 search results - page 141 / 338 » Refining abstract interpretations |
141
click to vote
TCS
2002
15 years 4 months ago
2002
We investigate the problem of producing symmetric tilings by programs in a uniform way. By this, we mean that the construction of a tiling should be parameterized by the geometric...
126
click to vote
JCT
2010
15 years 3 months ago
2010
Abstract. New enumerating functions for the Euler numbers are considered. Several of the relevant generating functions appear in connection to entries in Ramanujan’s Lost Noteboo...
114
click to vote
TOSEM
2010
15 years 3 months ago
2010
Nu model provides a higher level of abstraction compared to traditional object-oriented ILs, making it easier to e ciently support dynamic AO features. We demonstrate these bene ts...
144
click to vote
CIE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We study a realisability interpretation for inductive and coinductive definitions and discuss its application to program extraction from proofs. A speciality of this inte...
198
click to vote
DM
2011
14 years 11 months ago
2011
Abstract. The Legendre-Stirling numbers were discovered in 2002 as a result of a problem involving the spectral theory of powers of the classical second-order Legendre di¤erential...