2370 search results - page 323 / 474 » On the Revival of Dynamic Languages |
203
click to vote
PLDI
2005
ACM
16 years 19 days ago
2005
ACM
We present a new technique, path slicing, that takes as input a possibly infeasible path to a target location, and eliminates all the operations that are irrelevant towards the re...
184
Voted
AIED
2005
Springer
16 years 19 days ago
2005
Springer
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...
172
click to vote
CONCUR
2005
Springer
16 years 18 days ago
2005
Springer
d Abstract) Adrian Francalanza and Matthew Hennessy University of Sussex, Falmer Brighton BN1 9RH, England Abstract. We develop a behavioural theory of distributed programs in the ...
161
click to vote
FSTTCS
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
179
click to vote
RWEB
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. The Web and the Semantic Web, as we see it, can be understood as a “living organism” combining autonomously evolving data sources, each of them possibly reacting to e...