Sciweavers

3605 search results - page 7 / 721
» Associated types with class
Sort
View
CORR
2011
Springer
167views Education» more  CORR 2011»
13 years 2 months ago
Type Classes for Mathematics in Type Theory
Bas Spitters, Eelis van der Weegen
SOFTVIS
2003
ACM
14 years 24 days ago
A New Approach for Visualizing UML Class Diagrams
UML diagrams have become increasingly important in the engineering and reengineering processes for software systems. Of particular interest are UML class diagrams whose purpose is...
Carsten Gutwenger, Michael Jünger, Karsten Kl...
APSEC
1998
IEEE
13 years 11 months ago
Change Impact Analysis for A Class Hierarchy
Modified programs are required to be retested to determine whether changes have been made correctly and to investigate whether those cause any adverse effect on the program behavi...
Yoon Kyu Jang, Heung Seok Chae, Yong Rae Kwon, Doo...
ISD
1999
Springer
213views Database» more  ISD 1999»
13 years 11 months ago
A Probabilistic Approach to Environmental Change Detection with Area-Class Map Data
One of the primary methods of studying change in the natural and man-made environment is that of comparison of multi-date maps and images of the earth's surface. Such comparis...
Christopher B. Jones, J. Mark Ware, David R. Mille...
PLDI
2005
ACM
14 years 1 months ago
Essential language support for generic programming
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, en...
Jeremy G. Siek, Andrew Lumsdaine