933 search results - page 96 / 187 » Multi-paradigm Declarative Languages |
129
click to vote
CPAIOR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We recently proposed a simple declarative language for specifying a wide range of counting and occurrence constraints. The language uses just two global primitives: the R...
141
click to vote
ASP
2003
Springer
15 years 8 months ago
2003
Springer
The work aims at extending Answer Set Programming (ASP) with the possibility of quickly introducing new predefined constructs and to deal with compound data structures: we show ho...
124
click to vote
IFIP
2000
Springer
15 years 7 months ago
2000
Springer
Scientific programs rely heavily on software libraries. This paper describes the limitations of this reliance and shows how it degrades software quality. We offer a solution that u...
144
click to vote
FMOODS
2008
15 years 5 months ago
2008
Abstract. Termination analysis has received considerable attention, traditionally in the context of declarative programming, and recently also for imperative languages. In existing...
134
click to vote
AAAI
2000
15 years 5 months ago
2000
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify th...