28 search results - page 6 / 6 » A Safe Implementation of Dynamic Overloading in Java-Like La... |
POPL
2010
ACM
14 years 1 months ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...
VLDB
1995
ACM
13 years 7 months ago
1995
ACM
New demandsare put on query processing in Object-Oriented(00) databasesto provide efficient andrelationally completequery languages. A flexible 00 data model requires overloading ...
CGO
2007
IEEE
13 years 10 months ago
2007
IEEE
The JavaTM programming language does not allow the programmer to influence memory management. An object is usually allocated on the heap and deallocated by the garbage collector ...