Pluggable types have been proposed to support multiple type systems in the same
programming language. We have designed and implemented JavaCOP, a program …

A large amount of open source code is now available online, presenting a great potential
resource for software developers. This has motivated software engineering researchers to …

Software change impact analysis is the activity of the software maintenance process that
determines possible effects of proposed software changes. This activity is necessary to be …

We present an overview of JTL (the Java Tools Language, pronounced" Gee-tel"), a novel
language for querying JAVA [8] programs. JTL was designed to serve the development of …

The invention concerns model program analysis of Software code using model checking.
Initially, a transition system (22) and an extensible markup language (XML)(24) representa …

Most aspect-oriented languages provide only a fixed, built-in set of pointcut designators
whose denotation is only described informally. As a consequence, these languages do not …

Modern development environments integrate various static analyses into the build process.
Analyses that analyze the whole project whenever the project changes are impractical in this …

The Scala experiment: can we provide better language support for component systems?
Page 1 The Scala Experiment – Can We Provide Better Language Support for Component …

In this paper, we discuss a set of functional requirements for software exploration tools and
provide initial evidence that various combinations of these features are needed to effectively …

Current tools for software understanding mostly concentrate on one comprehension
technique, eg, visualization, or bottom-up navigation through software elements via …