531 search results - page 66 / 107 » Data structure repair using goal-directed reasoning |
114
Voted
PLDI
2010
ACM
16 years 2 months ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
146
click to vote
IJCAI
1993
15 years 6 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
133
click to vote
COORDINATION
2004
Springer
15 years 10 months ago
2004
Springer
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...
156
click to vote
ICLP
2001
Springer
15 years 9 months ago
2001
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing solutions to goals. Quite a few interesting applications of tabling...
218
click to vote
GIS
2007
ACM
16 years 5 months ago
2007
ACM
This research reports on exploring analytical methodologies for spatio-temporal data of pedestrian egress dynamics in a crowded environment. The research objective is to spatially...