339 search results - page 27 / 68 » Basic concepts of abstract interpretation |
110
click to vote
DALT
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for efficient implementations, but prevents an...
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper presents a controlled language for ontology editing and a software implementation, based partly on standard NLP tools, for processing that language and manipul...
111
click to vote
FLOPS
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. We show how to extract existential witnesses from classical proofs using Krivine’s classical realizability—where classical proofs are interpreted as λ-terms with the...
105
click to vote
IJIIDS
2010
14 years 6 months ago
2010
Abstract. This paper presents the semantics of database mappings in the relational database (DB) category, based on the power-view monad T and monadic algebras. The semantics can b...