19 search results - page 2 / 4 » Why URI Declarations |
121
click to vote
JSC
2010
15 years 25 days ago
2010
Narrowing is a computation implemented by some declarative programming languages. Research in the last decade has produced significant results on the theory and foundation of nar...
125
click to vote
ICRE
2000
IEEE
15 years 6 months ago
2000
IEEE
Unless you have a complete and precise description of your product’s requirements, it is very unlikely that you will satisfy those requirements. A requirements document that is ...
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
In an object-oriented language, a derived class may declare a method with the same signature as a method in the base class. The meaning of the re-declaration depends on the langua...
130
click to vote
CONSTRAINTS
2010
14 years 11 months ago
2010
MiniZinc arose as a response to the extended discussion at CP2006 of the need for a standard modelling language for CP. This is a challenging problem, and we believe MiniZinc makes...
109
Voted
AAAI
2008
15 years 4 months ago
2008
Answer-set programming (ASP) is widely recognised as a viable tool for declarative problem solving. However, there is currently a lack of tools for developing answer-set programs....