[abc] introduction

I have been looking at the introduction of the paper. I think the
original version of the abstract and intro have the main points, but
I am trying to come with grips on how it might be clearer.

Somehow I think we have to emphasize that we are looking at the
problem of when a programmer writes a declarative specification for
a trace that needs to be checked, and the compiler generates
a trace monitor from that specification where that trace monitor
monitors the actions of a software system.

It seems that our paper is really about the challenges and some
solutions of how to make such a generated monitor efficient in
time and space.

Am I on the right track here? Opinions?

Laurie

+-----------------------------------------------------------------
| Laurie Hendren --- laurie.hendren@mcgill.ca
| Associate Dean (Academic), Faculty of Science,
| Dawson Hall, McGill University, 853 Sherbrooke St W,
| Montreal QC H3A 2T6 Canada, 514-398-7179, fax 514-398-1774
+----------------------------------------------------------------
| For contact and home page info as Professor, Computer Science:
| http://www.sable.mcgill.ca/~hendren --- hendren@cs.mcgill.ca
| Research: http://www.sable.mcgill.ca http://aspectbench.org
+----------------------------------------------------------------
Received on Mon Mar 13 20:56:48 2006