686 search results - page 39 / 138 » Foundations for Bidirectional Programming |
DBPL
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Provenance is information recording the source, derivation, or history of some information. Provenance tracking has been studied in a variety of settings; however, althou...
77
Voted
LPNMR
2004
Springer
15 years 3 months ago
2004
Springer
This paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while c...
77
Voted
SIGCSE
2002
ACM
14 years 9 months ago
2002
ACM
Building on ideas from a virtual workshop and additional input from the scientific community, the CISE Directorate at the National Science Foundation established the Information T...
NETWORKS
2008
14 years 9 months ago
2008
Node pruning is a commonly used technique for solution acceleration in a dynamic programming network. In pruning, nodes are adaptively removed from the dynamic programming network...
SIGCSE
2010
ACM
15 years 4 months ago
2010
ACM
Programming exercise assessment tools alleviate the task of teachers, and increase consistency of markings. Many programming exercise assessment tools are based on testing. A test...