6 search results - page 2 / 2 » Belief Logic Programming with Cyclic Dependencies |
208
click to vote
POPL
2008
ACM
15 years 12 months ago
2008
ACM
Self-adjusting computation enables writing programs that can automatically and efficiently respond to changes to their data (e.g., inputs). The idea behind the approach is to stor...