2370 search results - page 356 / 474 » On the Revival of Dynamic Languages |
191
click to vote
DOOD
1991
Springer
15 years 9 months ago
1991
Springer
This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...
184
click to vote
DALT
2009
Springer
15 years 9 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
152
click to vote
AAAI
2008
15 years 8 months ago
2008
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
160
click to vote
NSDI
2007
15 years 8 months ago
2007
Debugging and profiling large-scale distributed applications is a daunting task. We present Friday, a system for debugging distributed applications that combines deterministic re...
156
click to vote
FLAIRS
2008
15 years 8 months ago
2008
We describe a new approach to model construction using transfer function diagrams that are consequently mapped into generalized loopy logic, a first-order, Turing-complete stochas...