1194 search results - page 45 / 239 » A Language for Implementing Arbitrary Logics |
127
Voted
DLS
2007
15 years 7 months ago
2007
This paper introduces OMeta, a new object-oriented language for pattern matching. OMeta is based on a variant of Parsing Expression Grammars (PEGs) [5]--a recognitionbased foundat...
129
Voted
ICPP
2009
IEEE
15 years 10 months ago
2009
IEEE
—The implementation and optimization of collective communication operations is an important field of active research. Such operations directly influence application performance...
171
Voted
CSFW
2010
IEEE
15 years 7 months ago
2010
IEEE
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
124
Voted
CADE
2005
Springer
16 years 4 months ago
2005
Springer
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
135
Voted
FMICS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper we propose a certification technique for noninterference of Java programs based on rewriting logic, a very general logical and semantic framework efficientl...