2335 search results - page 238 / 467 » Type Checking Type Classes |
ESOP
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
CORIA
2011
13 years 2 months ago
2011
Named entities play an important role in Information Extraction. They represent unitary namable information within text. In this work, we focus on groups of named entities of the s...
ESORICS
2009
Springer
14 years 5 months ago
2009
Springer
Location based services (LBS) are a specific instance of a broader class of Internet services that are predicted to become popular in a near future: context-aware services. The pr...
ITNG
2007
IEEE
14 years 5 months ago
2007
IEEE
The Super Iterator pattern, like the standard Iterator pattern, traverses an unknown data structure without exposing that structure. With the standard Iterator pattern, clients mu...
TLCA
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Predicative analysis of recursion schema is a method to characterize complexity classes like the class of polynomial time functions. This analysis comes from the works of...