2370 search results - page 229 / 474 » On the Revival of Dynamic Languages |
170
click to vote
ESOP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
197
click to vote
FSEN
2007
Springer
16 years 1 months ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
197
click to vote
SOCO
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. In addition to publishing composite services as reusable services, compositions can also be reused by applying them to orchestrate different component services. To do so...
171
click to vote
PLDI
1998
ACM
15 years 11 months ago
1998
ACM
In conventional superscalar microarchitectures with partitioned integer and floating-point resources, all floating-point resources are idle during execution of integer programs....
202
click to vote
EELC
2006
15 years 11 months ago
2006
How does a shared lexicon arise in population of agents with differing lexicons, and how can this shared lexicon be maintained over multiple generations? In order to get some insig...