16190 search results - page 483 / 3238 » Applicative programming with effects |
266
click to vote
LOPSTR
2009
Springer
16 years 1 months 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 ...
143
click to vote
ASPLOS
2006
ACM
16 years 14 days ago
2006
ACM
Clustered Objects (COs) [1] have been proven to be an effective ion for improving scalability of systems software [2, 3]. But can we devise a programming model that would allow CO...
153
click to vote
ISSRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...
196
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Despite the many efforts made in recent years to mitigate runtime attacks such as stack and heap based buffer overflows, these attacks are still a common security concern in today...
199
click to vote
DISOPT
2008
15 years 6 months ago
2008
This paper is motivated by the fact that mixed integer nonlinear programming is an important and difficult area for which there is a need for developing new methods and software f...