975 search results - page 115 / 195 » Declarative Aspect-Oriented Programming |
134
click to vote
SIGMOD
2007
ACM
15 years 10 months ago
2007
ACM
We describe a novel programming model for building, extending, and personalizing web-based data-driven applications. Categories and Subject Descriptors D.2.2 [Software Engineering...
ECOOP
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents an object-oriented technique for rewriting abstract syntax trees in order to simplify compilation. The technique, Rewritable Reference Attributed Grammars (ReRA...
ICIW
2007
IEEE
15 years 1 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
ECOOP
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We present F(Eml), a language that combines classes, extensible functions, symmetric multiple dispatching, and a practical system for parameterized modules. Parameterized...
MICAI
2000
Springer
15 years 1 months ago
2000
Springer
We introduce the new paradigm of High-Level Non-Monotonic reasoning (HLNM). This paradigm is the consolidation of our recent results on disjunctions, sets, explicit and implicit ne...