1194 search results - page 10 / 239 » A Language for Implementing Arbitrary Logics |
165
click to vote
PODS
2005
ACM
16 years 5 months ago
2005
ACM
MSO logic on unranked trees has been identified as a convenient theoretical framework for reasoning about expressiveness and implementations of practical XML query languages. As a...
259
click to vote
ICFP
2009
ACM
16 years 6 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
149
click to vote
FDL
2008
IEEE
16 years 6 days ago
2008
IEEE
—This paper introduces a novel numerical carbon nanotube transistor (CNT) modelling approach which brings in a flexible and efficient cubic spline non-linear approximation of t...
159
click to vote
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
We define an Intuitionistic Conditional Logic for Access Control called CICL . The logic CICL is based on a conditional language allowing principals to be defined as arbitrary form...
160
click to vote
PPDP
2009
Springer
16 years 9 days ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...