Sciweavers

678 search results - page 85 / 136
» A simple typed intermediate language for object-oriented lan...
Sort
View
SBBD
2007
68views Database» more  SBBD 2007»
13 years 10 months ago
Querying Geographical Data Warehouses With GeoMDQL
Integrating geographical and multidimensional processing has been proposed in several researches in the database literature. One of the most important issues of this process is dat...
Joel da Silva, Ausberto S. Castro Vera, Anjolina G...
CCR
1999
110views more  CCR 1999»
13 years 8 months ago
Independent active program representation using ASN. 1
act Syntax Notation One (ASN.1) can be used as a common substrate for representing active programs. An active networking framework, using ASN.1 whereby any active network solution ...
Brad Williamson, Craig Farrell
POPL
2002
ACM
14 years 9 months ago
CCured: type-safe retrofitting of legacy code
In this paper we propose a scheme that combines type inference and run-time checking to make existing C programs type safe. We describe the CCured type system, which extends that ...
George C. Necula, Scott McPeak, Westley Weimer
TOOLS
2000
IEEE
14 years 1 months ago
Java Multi-Method Framework
— In Java, method implementations are chosen at runtime by late-binding with respect to the runtime class of just the receiver argument. However, in order to simplify many progra...
Rémi Forax, Étienne Duris, Gilles Ro...
ECOOP
2010
Springer
14 years 1 months ago
Capabilities for Uniqueness and Borrowing
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
Philipp Haller, Martin Odersky