2370 search results - page 356 / 474 » On the Revival of Dynamic Languages |
222
click to vote
DOOD
1991
Springer
15 years 10 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...
213
Voted
DALT
2009
Springer
15 years 10 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...
175
Voted
AAAI
2008
15 years 9 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...
181
click to vote
NSDI
2007
15 years 9 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...
171
click to vote
FLAIRS
2008
15 years 9 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...