2947 search results - page 100 / 590 » Analyzing Program Analyses |
120
Voted
ESOP
2001
Springer
15 years 7 months ago
2001
Springer
Equality constraints (unification constraints) have widespread use in program analysis, most notably in static polymorphic type systems. Conditional equality constraints extend eq...
145
Voted
CSMR
2005
IEEE
15 years 8 months ago
2005
IEEE
Data mining is a technology recently used in support of software maintenance in various contexts. Our works focuses on achieving a high level understanding of Java systems without...
153
Voted
IFIP
1993
Springer
15 years 6 months ago
1993
Springer
The Architecture of Integrated Information Systems (ARIS) is a popular framework for integrated process modeling. Previous research analysed ARIS using an ontology developed by Bu...
95
Voted
SAS
1994
Springer
15 years 6 months ago
1994
Springer
Strictness analysis has been a living field of investigation since Mycroft's original work in 1980, and is getting increasingly significant with the still wider use of lazy fu...
119
Voted
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a separation of concerns approach to solve the tangling problem of functional and Quality of Service (QoS) concerns in traditional Component-based Software Eng...