4722 search results - page 140 / 945 » Encoding Program Executions |
137
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
"Generics for the Masses" (GM) and "Scrap your Boilerplate" (SYB) are generic programming approaches based on some ingenious applications of Haskell type class...
133
click to vote
CGO
2010
IEEE
15 years 11 months ago
2010
IEEE
Prior work has shown that reduced, ordered, binary decision diagrams (BDDs) can be a powerful tool for program trace analysis and visualization. Unfortunately, it can take hours o...
118
Voted
AOSD
2005
ACM
15 years 10 months ago
2005
ACM
Even when working on a well-modularized software system, programmers tend to spend more time navigating the code than working with it. This phenomenon arises because it is impossi...
163
click to vote
ASP
2003
Springer
15 years 10 months ago
2003
Springer
Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to ...
164
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
The Probabilistic Adaptive Mapping Developmental Genetic Programming (PAM DGP) algorithm that cooperatively coevolves a population of adaptive mappings and associated genotypes is...