13734 search results - page 209 / 2747 » Abstractions of data types |
119
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
Service matchmaking and composition has recently drawn increasing attention in the research community. Most existing algorithms construct chains of services based on exact matches...
135
click to vote
ECOOP
2004
Springer
15 years 9 months ago
2004
Springer
After two decades of effort, type inference for dynamically typed languages scales to programs of a few tens of thousands of lines of code, but no further. For larger programs, th...
131
click to vote
WEBI
2004
Springer
15 years 9 months ago
2004
Springer
Service matchmaking and composition has recently drawn increasing attention in the research community. Most existing algorithms construct chains of services based on exact matches...
126
click to vote
TLDI
2003
ACM
15 years 9 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
149
click to vote
ICWS
2004
IEEE
15 years 5 months ago
2004
IEEE
Service matchmaking and composition has recently drawn increasing attention in the research community. Most existing algorithms construct chains of services based on exact matches...