Sciweavers

68 search results - page 13 / 14
» Specifying generic Java programs: two case studies
Sort
View
ICS
2000
Tsinghua U.
13 years 9 months ago
Compiling object-oriented data intensive applications
Processing and analyzing large volumes of data plays an increasingly important role in many domains of scienti c research. High-level language and compiler support for developing ...
Renato Ferreira, Gagan Agrawal, Joel H. Saltz
CSMR
2008
IEEE
14 years 7 days ago
Package Reference Fingerprint: a Rich and Compact Visualization to Understand Package Relationships
Object-oriented languages such as Java, Smalltalk, and C++ structure their programs using packages, allowing classes to be organized into named abstractions. Maintainers of large ...
Hani Abdeen, Ilham Alloui, Stéphane Ducasse...
CORR
2010
Springer
92views Education» more  CORR 2010»
13 years 5 months ago
How Do Emerging Technologies Conquer the World? An Exploration of Patterns of Diffusion and Network Formation
Grasping the fruits of "emerging technologies" is an objective of many government priority programs in a knowledge-based and globalizing economy. We use the publication ...
Loet Leydesdorff, Ismael Rafols
CORR
2002
Springer
96views Education» more  CORR 2002»
13 years 5 months ago
The Sketch of a Polymorphic Symphony
In previous work, we have introduced functional strategies, that is, first-class generic functions that can traverse into terms of any type while mixing uniform and type-specific ...
Ralf Lämmel
LOGCOM
2010
154views more  LOGCOM 2010»
13 years 16 days ago
Collaborative Runtime Verification with Tracematches
Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during a...
Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondre...