18429 search results - page 155 / 3686 » Typing dynamic typing |
165
click to vote
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...
117
Voted
OOPSLA
1997
Springer
15 years 8 months ago
1997
Springer
A type inclusion test determines whether one type is a subtype of another. Efficient type testing techniques exist for single subtyping, but not for languages with multiple subtyp...
108
Voted
LREC
2010
15 years 6 months ago
2010
This paper presented an overview of Chinese bi-character words' morphological types, and proposed a set of features for machine learning approaches to predict these types bas...
172
Voted
PLANX
2007
15 years 6 months ago
2007
We present an algorithm to solve XPath decision problems under regular tree type constraints and show its use to statically typecheck XPath queries. To this end, we prove the deci...
127
click to vote
ISICT
2004
15 years 6 months ago
2004
A type flaw attack on a security protocol is an attack where a field in a message that was originally intended to have one type is subsequently interpreted as having another type. ...