5818 search results - page 943 / 1164 » A reasonable Semantic Web |
313
click to vote
POPL
2006
ACM
16 years 7 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...
183
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
171
click to vote
CC
2010
Springer
16 years 1 months ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
190
click to vote
HYBRID
2010
Springer
16 years 1 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
183
click to vote
GIS
2009
ACM
16 years 1 months ago
2009
ACM
Gazetteers are key components of georeferenced information systems, including applications such as Web-based mapping services. Existing gazetteers lack the capabilities to fully i...