2500 search results - page 399 / 500 » Logical Semantics of Modularisation |
114
click to vote
WWW
2007
ACM
16 years 3 months ago
2007
ACM
As the data and ontology layers of the Semantic Web stack have achieved a certain level of maturity in standard recommendations such as RDF and OWL, the current focus lies on two ...
101
click to vote
WWW
2005
ACM
16 years 3 months ago
2005
ACM
As an increasingly large number of OWL ontologies become available on the Semantic Web and the descriptions in the ontologies become more complicated, finding the cause of errors ...
236
click to vote
PADL
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
232
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
This paper reports on the development and formal certification (proof of semantic preservation) of a compiler from Cminor (a Clike imperative language) to PowerPC assembly code, u...
239
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values...