3440 search results - page 606 / 688 » Logics For Context-Free Languages |
210
click to vote
PPDP
2007
Springer
16 years 27 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
184
click to vote
SEMWEB
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...
181
click to vote
CASES
2006
ACM
16 years 23 days ago
2006
ACM
Architectural advances of modern systems has often been at odds with control complexity, requiring significant effort in both design and verification. This is particularly true ...
164
click to vote
PLDI
2006
ACM
16 years 22 days ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
197
click to vote
RSP
2005
IEEE
16 years 11 days ago
2005
IEEE
Abstract— John von Neumann proposed his famous architecture in a context where hardware was very expensive and bulky. His goal was to maximize functionality with minimal hardware...