933 search results - page 68 / 187 » Multi-paradigm Declarative Languages |
114
click to vote
ECOOP
2006
Springer
15 years 7 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...
138
click to vote
IJCAI
1993
15 years 5 months ago
1993
Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP, ...
111
click to vote
TOOLS
1999
IEEE
15 years 8 months ago
1999
IEEE
stone in the object-oriented paradigm is the abstraction mechanisms transcending analysis, design, and implementation. The notions of class, object, behaviour, and inheritance are...
120
click to vote
GPCE
2009
Springer
15 years 8 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
119
click to vote
KR
2000
Springer
15 years 7 months ago
2000
Springer
Though overriding as a single and default mode of inheritance is adequate for most knowledge bases, a large class of applications naturally requires several inheritance modes and ...