132 search results - page 4 / 27 » An overview of the K semantic framework |
IS
2008
14 years 9 months ago
2008
Abstract. Sharing of structured data in decentralized environments is a challenging problem, especially in the absence of a global schema. Social network structures map network lin...
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
RTA
2010
Springer
15 years 1 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for deļ¬ning the semantics of programming languages. While most work in this area has focused on deļ...
SYNTHESE
2008
14 years 9 months ago
2008
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...
CCS
2007
ACM
15 years 3 months ago
2007
ACM
In deļ¬ning large, complex access control policies, one would like to compose sub-policies, perhaps authored by diļ¬erent organizations, into a single global policy. Existing po...