31686 search results - page 274 / 6338 » Resource typing in Guru |
101
click to vote
SPIN
2005
Springer
15 years 6 months ago
2005
Springer
We present ETCH, an enhanced type checking tool for the Promela language. This tool uses standard type checking in conjunction with constraint-based type inference to detect type e...
117
click to vote
PPSWR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Time is omnipresent on the (Semantic) Web. However, formalism like XML, XML Schema, RDF, OWL and (Semantic) Web query languages have, if any, only very limited notions of...
89
Voted
CONCUR
2001
Springer
15 years 5 months ago
2001
Springer
The issue of this work is how to type mobility, in the sense that we tackle the problem of typing not only mobile agents but also their movement. This yields higher-order types for...
102
Voted
LICS
1999
IEEE
15 years 5 months ago
1999
IEEE
The problem of defining and checking a subtype relation between recursive types was studied in [3] for a first order type system, but for second order systems, which combine subty...
120
Voted
POPL
1997
ACM
15 years 4 months ago
1997
ACM
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...