10899 search results - page 485 / 2180 » The GP Programming System |
227
click to vote
AI
2001
Springer
15 years 10 months ago
2001
Springer
The stable semantics has become a prime candidate for knowledge representation and reasoning. The rules associated with propositional logic programs and the stable semantics are no...
194
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The paradigm shift in processor design from monolithic processors to multicore has renewed interest in programming models that facilitate parallelism. While multicores ar...
186
click to vote
HASKELL
2008
ACM
15 years 8 months ago
2008
ACM
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...
189
click to vote
SOFTVIS
2010
ACM
15 years 7 months ago
2010
ACM
When software developers work with a program's source code, the structure of the source code often requires that they split their attention simultaneously across several docu...
169
click to vote
ASE
2006
15 years 7 months ago
2006
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...