2500 search results - page 220 / 500 » Logical Semantics of Modularisation |
184
click to vote
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
In our approach to the Programming Languages course, formal models are integrated as a thread that pervades the course, rather than as a one of many topics that is introduced and ...
164
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The paper presents a simple and concise proof of correctness of the magic transformation. We believe it may provide a useful example of formal reasoning about logic programs. The ...
172
click to vote
SAC
2006
ACM
16 years 15 days ago
2006
ACM
We present a framework and an application for semanticbased retrieval of images. Our approach adopts a two-level ontology structure in a subset of OWL-DL. In the core ontology onl...
178
click to vote
WOLLIC
2007
Springer
16 years 19 days ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
177
click to vote
CCS
2007
ACM
16 years 21 days ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...