2740 search results - page 3 / 548 » Typing the Specialization Interface |
ICALP
1998
Springer
14 years 2 months ago
1998
Springer
ENTCS
2006
13 years 9 months ago
2006
PEPM
2004
ACM
14 years 3 months ago
2004
ACM
The use of partial evaluation for specializing programs written in imperative languages such as C and Java is hampered by the difficulty of controlling the specialization process....
ENTCS
2008
13 years 10 months ago
2008
We introduce a general model of refinement. This is defined in terms of what contexts an entity can appear in, and what observations can be made of it in those contexts. We show e...
AUIC
2000
IEEE
14 years 2 months ago
2000
IEEE
The potential of the Web, via both the Internet and intranets, to facilitate development of clinical information systems has been evident for some time. Most Web-based clinical wo...