Re: Gotos may be Harmful, but Labels are Neat!

>... Have somebody heard of systems like this?




There is a plenty of articles on path expressions and event traces
for program testing and debugging. A bibliography can be accessed
by anonymous ftp at:


ftp.cs.columbia.edu/archives/bibliographies/Misc/monitor.bib.gz


Regular path expressions and event grammars can be used to describe
properties of program execution.


Our paper on debugging automation based on run-time assertion checking
(that includes also trace expressions and event grammars) appeared in
The Journal of Systems and Software, vol.25, June 1994, pp.223-239.


A prototype of run-time assertion checker for Pascal is implemented
on IBM PC/MS DOS and SUN/UNIX platforms. Technical report is
available via anonymous ftp from:
ftp.cs.nmsu.edu


in directory /pub/techreports/TR-94-04.ps.Z


(this paper also appeared in the Proceedings of SEKE'94, 6th International
Conference on Software Engineering and Knowledge Engineering, pp.108-115)


another Technical Report
/pub/techreports/TR-94-06.ps.Z
discusses applications of event grammars for parallel program debugging.




        Mikhail Auguston
          ________________________________________________________________
        | Computer Science Department | |
        | PO Box 30001, Dept CS | email: mikau@cs.nmsu.edu |
        | New Mexico State University | Fax: [+1] (505) 646-1002 |
        | Las Cruces, NM 88003 USA | Voice: [+1] (505) 646-5286 |
          ----------------------------------------------------------------
--

Return to the comp.compilers page.
Search the comp.compilers archives again.