2236 search results - page 35 / 448 » Language Independence and Language Tolerance in Logic Progra... |
155
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
305
click to vote
Book
The book is an introduction to elementary computational linguistics from the point of view of logic programming.
193
click to vote
RR
2010
Springer
15 years 3 months ago
2010
Springer
The Accountability In RDF (AIR) language is an N3-based, Semantic Web production rule language that supports nested activation of rules, negation, closed world reasoning, scoped co...
148
click to vote
PLDI
1998
ACM
15 years 10 months ago
1998
ACM
A module system ought to enable assembly-line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts o...
153
click to vote
PLPV
2010
ACM
16 years 2 months ago
2010
ACM
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...