2740 search results - page 3 / 548 » Typing the Specialization Interface |
148
Voted
ICALP
1998
Springer
15 years 11 months ago
1998
Springer
133
Voted
ENTCS
2006
15 years 7 months ago
2006
216
Voted
PEPM
2004
ACM
16 years 22 days 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....
173
Voted
ENTCS
2008
15 years 7 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...
215
Voted
AUIC
2000
IEEE
15 years 11 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...