92 search results - page 6 / 19 » A Generic Framework for Context-Sensitive Analysis of Modula... |
HICSS
2002
IEEE
14 years 12 days ago
2002
IEEE
Modular design methodologies, which decompose large and complex systems into components that are relatively easy to develop and maintain, have been widely adopted in the software ...
ICFP
2007
ACM
14 years 7 months ago
2007
ACM
Sharing analysis and uniqueness typing are static analyses that aim at determining which of a program's objects are to be used at most once. There are many commonalities betw...
PASTE
1998
ACM
13 years 11 months ago
1998
ACM
Concept analysis transforms any relation between ‘lobjects” and “attributes” into a complete lattice. This concept lattice can be studied by algebraic means and offers rem...
ICLP
1998
Springer
13 years 11 months ago
1998
Springer
Interpretation Reconciled Michael Leuschel1 Department of Computer Science, K.U. Leuven, Belgium DIKU, University of Copenhagen, Denmark fy the relationship between abstract inter...
ECOOP
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Component software means reuse and separate marketing of pre-manufactured binary components. This requires components from different vendors to be composed very late, pos...