This paper describes a prototype news analysis system Which classifies and indexes news stories in real time. The system extracts stories from a newswire, parses the sentences of the story, and then maps the syntactic structures into a concept base. This process results in an index containing both ger~eral categories and specific details. Central to this system is a Government-Binding parser wh...

Reliability analysis is a design-time activity. The goal is to anticipate problems and suggest product improvements before manufacturing and delivery. Enhanced quality and customer satisfaction along with reduced life-cycle costs are the motivation. Analysts employ models of physical systems to determine points of vulnerability and failure probabilities. Unfortunately, the models of complex sys...

Unification and narrowing are a key ingredient not only to solve equations modulo an equational theory, but also to perform symbolic system analysis. The key idea is that a concurrent system can be naturally specified as a rewrite theory R = (Σ, E, R), where (Σ, E) is an equational theory specifying the system’s states as an algebraic data type, and R specifies the system’s concurrent, and ofte...