636 search results - page 50 / 128 » Operational Semantics for Functional Logic Languages |
157
click to vote
AUSAI
2004
Springer
15 years 9 months ago
2004
Springer
The PolicyUpdater1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use o...
124
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
Monads are widely used in Haskell for modeling computational effects, but defining monads remains a daunting challenge. Since every part of a monad's definition depends on it...
153
Voted
ICEIS
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper presents a graph-based knowledge representation and reasoning language. This language benefits from an important syntactic operation, which is called a graph homomorphi...
163
Voted
ARTS
1997
Springer
15 years 7 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
178
Voted
ICFP
2012
ACM
13 years 6 months ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...