130 search results - page 15 / 26 » The Semantics of Scheme Control-Flow Analysis |
105
click to vote
ESOP
2001
Springer
15 years 4 months ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
ICDT
2010
ACM
15 years 9 months ago
2010
ACM
We study fundamental aspects related to the efficient processing of the SPARQL query language for RDF, proposed by the W3C to encode machine-readable information in the Semantic W...
MVA
1992
15 years 25 days ago
1992
This paper presents a document analysis system which is capable of extracting the semantics of specific text portions of structured documents. The main component of the system is ...
ICIP
2008
IEEE
15 years 6 months ago
2008
IEEE
Shot segmentation provides the basis for almost all high-level video content analysis approaches, validating it as one of the major prerequisites for efficient video semantic ana...
CCS
2004
ACM
15 years 5 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...