2370 search results - page 250 / 474 » On the Revival of Dynamic Languages |
169
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
The components of a context-aware system can often become disconnected because of the dynamic environments within which they are deployed. Hoarding context information on the clie...
189
click to vote
PADL
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...
189
click to vote
ICFP
2009
ACM
16 years 2 months ago
2009
ACM
The evolution of Web sites towards very dynamic applications makes it necessary to reconsider current Web programming technologies. We believe that Web development would benefit ...
189
click to vote
ESOP
2009
Springer
16 years 2 months ago
2009
Springer
We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able t...
171
click to vote
ESOP
2009
Springer
16 years 2 months ago
2009
Springer
We show how contracts with blame fit naturally with recent work on hybrid types and gradual types. Unlike hybrid types or gradual types, we require casts in the source code, in o...