5810 search results - page 211 / 1162 » An Approach to Programming Based on Concepts |
263
click to vote
LOPSTR
2009
Springer
16 years 28 days ago
2009
Springer
Answer Set Programming (ASP) is a powerful paradigm of logic programming for non-monotonic reasoning. However, the restriction of “grounded range-restricted function-free normal ...
208
click to vote
SEFM
2007
IEEE
16 years 20 days ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...
149
click to vote
CAISE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
169
click to vote
CALCO
2005
Springer
15 years 12 months ago
2005
Springer
This paper provides a general account of the notion of recursive program schemes, studying both uninterpreted and interpreted solutions. It can be regarded as the category-theoret...
160
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
In the early days a policy was a set of simple rules with a clear intuitive motivation that could be formalised to good effect. However the world is becoming much more complex. S...