5415 search results - page 411 / 1083 » The Implementation of Functional Programming Languages |
165
click to vote
ICLP
2007
Springer
16 years 29 days ago
2007
Springer
We propose a novel technique that maps decision problems in WS1S (weak monadic second-order logic with n successors) to the problem of query evaluation of Complex-value Datalog que...
191
click to vote
ENTCS
2008
15 years 6 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
254
Voted
SEMCO
2009
IEEE
16 years 1 months ago
2009
IEEE
Semantic integration in the hidden Web is an emerging area of research where traditional assumptions do not always hold. Frequent changes, conflicts and the sheer size of the hid...
137
click to vote
SACMAT
2010
ACM
15 years 11 months ago
2010
ACM
We address the problem of privacy-preserving access control in distributed systems. Users commonly reveal more personal data than strictly necessary to be granted access to online...
183
click to vote
ECOOP
2009
Springer
16 years 1 months ago
2009
Springer
Modern development environments support refactoring by providing atomically behaviour-preserving transformations. While useful, these transformations are limited in three ways: (i)...