A program slicer for LF

[摘要] ENGLISH ABSTRACT: Program slicing was originally described by Mark Weiser in 1984. He proposed this asa technique to aid in debugging because he conjectured that this is what programmersdid naturally when debugging. Here program slicing is applied to an experimentalconcurrent language called LF. Existing techniques are adapted to accommodate theunique features of the language.

[发布机构] Stellenbosch University