31686 search results - page 270 / 6338 » Resource typing in Guru |
PLDI
1994
ACM
14 years 2 months ago
1994
ACM
: Object-oriented programs are difficult to optimize because they execute many dynamically-dispatched calls. These calls cannot easily be eliminated because the compiler does not k...
CAISE
2006
Springer
14 years 2 months ago
2006
Springer
Our research explores a new database extension. Our aim is to see how far it is possible to support collaborative editing and document provenance with database technology, and exte...
BIRTHDAY
2008
Springer
14 years 24 days ago
2008
Springer
ility concepts in abstract data type specification, 30 years later Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburg...
BIOCOMP
2006
14 years 6 days ago
2006
In this paper evidence is presented that supports the hypothesis that amino acid usage bias is a fundamental property of viral genome types. Clues to the biological basis for the o...
ACL
2001
14 years 6 days ago
2001
This paper considers three assumptions conventionally made about signatures in typed feature logic that are in potential disagreement with current practice among grammar developer...