6 search results - page 2 / 2 » Belief Logic Programming with Cyclic Dependencies |
POPL
2008
ACM
14 years 5 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...