3319 search results - page 70 / 664 » Subshifts, Languages and Logic |
ICLP
2005
Springer
15 years 6 months ago
2005
Springer
107
Voted
ICLP
2003
Springer
15 years 5 months ago
2003
Springer
99
Voted
CCS
2008
ACM
15 years 2 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...
92
Voted
PLPV
2010
ACM
15 years 9 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...
128
Voted
POPL
2012
ACM
13 years 8 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...