Sciweavers

2252 search results - page 221 / 451
» Regular expression patterns
Sort
View
156
Voted
CC
2001
Springer
177views System Software» more  CC 2001»
15 years 8 months ago
Imperative Program Transformation by Rewriting
Abstract. We present a method of specifying standard imperative program optimisations as a rewrite system. To achieve this we have extended the idea of matching sub-terms in expres...
David Lacey, Oege de Moor
CIA
2006
Springer
15 years 7 months ago
Specifying Protocols for Knowledge Transfer and Action Restriction in Multiagent Systems
In this paper we present the MAPa language for expressing knowledge transfer and action restriction between agents in multiagent systems. Our approach is founded on the definition ...
María Adela Grando, Christopher D. Walton
GCSE
2000
Springer
15 years 7 months ago
Mixin-Based Programming in C++
Combinations of C++ features, like inheritance, templates, and class nesting, allow for the expression of powerful component patterns. In particular, research has demonstrated that...
Yannis Smaragdakis, Don S. Batory
136
Voted
AAAI
2007
15 years 6 months ago
The Semantics of Variables in Action Descriptions
Action description language C+ is more expressive than ADL in many ways; for instance, it addresses the ramification problem. On the other hand, ADL is based on first-order logi...
Vladimir Lifschitz, Wanwan Ren
BNCOD
2007
160views Database» more  BNCOD 2007»
15 years 5 months ago
Parameterized XPath Views
: We present a new approach for accelerating the execution of XPath expressions using parameterized materialized XPath views (PXV). While the approach is generic we show how it can...
Timo Böhme, Erhard Rahm