Sciweavers

2520 search results - page 20 / 504
» Alias Types and Effects for
Sort
View
JLP
2008
134views more  JLP 2008»
13 years 8 months ago
Backwards type analysis of asynchronous method calls
Asynchronous method calls have been proposed to better integrate object orientation with distribution. In the Creol language, asynchronous method calls are combined with so-called...
Einar Broch Johnsen, Ingrid Chieh Yu
WWW
2008
ACM
14 years 9 months ago
Acquisition of a vernacular gazetteer from web sources
Vernacular place names are names that are commonly in use to refer to geographical places. For purposes of effective information retrieval, the spatial extent associated with thes...
Florian A. Twaroch, Christopher B. Jones, Alia I. ...
WWW
2008
ACM
14 years 9 months ago
Acquisition of Vernacular Place Names from Web Sources
Vernacular place names are names that are commonly in use to refer to geographical places. For purposes of effective information retrieval, the spatial extent associated with these...
Florian A. Twaroch, Christopher B. Jones, Alia I. ...
POPL
2009
ACM
14 years 9 months ago
Semi-sparse flow-sensitive pointer analysis
Pointer analysis is a prerequisite for many program analyses, and the effectiveness of these analyses depends on the precision of the pointer information they receive. Two major a...
Ben Hardekopf, Calvin Lin
ESOP
2009
Springer
14 years 10 days ago
Type-Based Automated Verification of Authenticity in Cryptographic Protocols
Gordon and Jeffrey have proposed a type and effect system for checking authenticity in cryptographic protocols. The type system reduces the protocol verification problem to the typ...
Daisuke Kikuchi, Naoki Kobayashi