3408 search results - page 132 / 682 » Logic, language, information and computation |
189
click to vote
ACMSE
2006
ACM
16 years 12 days ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
159
click to vote
IJCAI
2003
15 years 7 months ago
2003
Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows to express every property of finite structures that is decidable in the complexity class ¡£¢¤ (...
389
click to vote
DAC
2012
ACM
13 years 8 months ago
2012
ACM
In this paper we introduce Chisel, a new hardware construction language that supports advanced hardware design using highly parameterized generators and layered domain-specific h...
181
click to vote
EACL
2006
ACL Anthology
15 years 7 months ago
2006
ACL Anthology
This paper describes the development of a rule-based computational model that describes how a feature-based representation of shared visual information combines with linguistic cu...
197
click to vote
LICS
2007
IEEE
16 years 22 days ago
2007
IEEE
We define a new class of languages defined by multi-stack automata that forms a robust subclass of context-sensitive languages, with decidable emptiness and closure under boolea...