2138 search results - page 352 / 428 » Logical Step-Indexed Logical Relations |
190
click to vote
PLDI
2004
ACM
15 years 10 months ago
2004
ACM
This paper presents the first scalable context-sensitive, inclusionbased pointer alias analysis for Java programs. Our approach to context sensitivity is to create a clone of a m...
144
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
168
click to vote
ER
2004
Springer
15 years 10 months ago
2004
Springer
The envisioned Semantic Web aims to provide richly annotated and explicitly structured Web pages in XML, RDF, or description logics, based upon underlying ontologies and thesauri. ...
137
click to vote
CICLING
2001
Springer
15 years 9 months ago
2001
Springer
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...
126
click to vote
CADE
1998
Springer
15 years 8 months ago
1998
Springer
It is a well-known fact that some form of factoring is necessary for completeness of paramodulation-based calculi of general first-order clauses. In this paper we give an overview...