Sciweavers

2596 search results - page 294 / 520
» Gradual Typing for Objects
Sort
View
WCRE
2000
IEEE
15 years 8 months ago
Revisiting the Delta IC Approach to Component Recovery
Component recovery supports program understanding, architecture recovery, and re-use. Among the best known techniques for detection of re-usable objects (related global variables ...
Gerardo Canfora, Jörg Czeranski, Rainer Kosch...
DEXA
2000
Springer
147views Database» more  DEXA 2000»
15 years 8 months ago
Lattice-Structured Domains, Imperfect Data and Inductive Queries
The relational model, as proposed by Codd, contained the concept of relations as tables composed of tuples of single valued attributes taken from a domain. In most of the early lit...
Sally Rice, John F. Roddick
ERSHOV
1999
Springer
15 years 8 months ago
Current Directions in Hyper-Programming
The traditional representation of a program is as a linear sequence of text. At some stage in the execution sequence the source text is checked for type correctness and its transla...
Ronald Morrison, Richard C. H. Connor, Quintin I. ...
IWMM
1998
Springer
153views Hardware» more  IWMM 1998»
15 years 8 months ago
Compiler Support to Customize the Mark and Sweep Algorithm
Mark and sweep garbage collectors (GC) are classical but still very efficient automatic memory management systems. Although challenged by other kinds of systems, such as copying c...
Dominique Colnet, Philippe Coucaud, Olivier Zendra
WEBDB
1998
Springer
83views Database» more  WEBDB 1998»
15 years 8 months ago
On the Unification of Persistent Programming and the World Wide Web
In its infancy, the World-Wide Web consisted of a web of largely static hypertext documents. As time progresses it is evolving into a domain which supports almost arbitrary network...
Richard C. H. Connor, Keith Sibson, Paolo Manghi