1724 search results - page 137 / 345 » Abstract Interpreters for Free |
144
click to vote
TOSEM
2010
15 years 4 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...
174
click to vote
CIE
2010
Springer
15 years 4 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...
239
click to vote
DM
2011
15 years 1 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...
210
click to vote
EUROSSC
2009
Springer
16 years 1 months ago
2009
Springer
Geographical information retrieval (GIR) can benefit from context information to adapt the results to a user’s current situation and personal preferences. In this respect, seman...
160
click to vote
DRMTICS
2005
Springer
16 years 14 hour ago
2005
Springer
This chapter overviews the legal issues arising from the modification of the Sony PlayStation console under Australian Copyright Law - the so called anti-circumvention provisions....