7167 search results - page 735 / 1434 » Answer Set Programming |
218
click to vote
LPNMR
1993
Springer
15 years 11 months ago
1993
Springer
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...
149
click to vote
AOSD
2007
ACM
15 years 11 months ago
2007
ACM
Design patterns aim at improving reusability and variability of object-oriented software. Despite a notable success, aspect-oriented programming (AOP) has been discussed recently ...
197
click to vote
ECLIPSE
2007
ACM
15 years 11 months ago
2007
ACM
We present a declarative and visual debugging environment for Eclipse called JIVE.1 Traditional debugging is procedural in that a programmer must proceed step-by-step and objectby...
176
click to vote
ERLANG
2007
ACM
15 years 11 months ago
2007
ACM
With the increased use of network enabled applications and server hosted software systems, scalability with respect to network connectivity is becoming an increasingly important s...
199
Voted
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...