1107 search results - page 109 / 222 » XAIRA : software for language analysis |
119
click to vote
AOSD
2008
ACM
15 years 2 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...
100
click to vote
WICSA
2004
15 years 2 months ago
2004
We present the work of establishing an integrated environment that facilitates architecture design, reconstruction, and maintenance in the entire life cycle of a software product ...
SIGSOFT
2006
ACM
15 years 6 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
94
Voted
WCRE
2000
IEEE
15 years 5 months ago
2000
IEEE
We show how hypertext-based program understanding tools eve new levels of abstraction by using inferred type information for cases where the subject software system is written in ...
127
Voted
APAQS
2001
IEEE
15 years 4 months ago
2001
IEEE
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...