The design and use of a Prolog trace generator for CSP

dc.contributor.author	Kourie, DG
dc.contributor.editor	Kritzinger, P.
dc.date.accessioned	2018-07-31T13:26:01Z
dc.date.available	2018-07-31T13:26:01Z
dc.date.issued	1987
dc.identifier.citation	Kourie, D.G. (1987) The design and use of a Prolog trace generator for CSP. Proceedings of the 4th South African Computer Symposium, Holiday Inn, Pretoria, 1-3 July 1987, edited by P. Kritzinger (UCT).	en
dc.identifier.uri	http://hdl.handle.net/10500/24512
dc.description.abstract	The role of traces in the context of formal description techniques is discussed, as well as issues arising in the generation of these traces by means of software. A trace generator (written in Prolog) for systems described in terms of CSP is outlined, with emphasis on the translation from CSP to Prolog, the central implementation issues in a Prolog context, and techniques for generating all traces up to termination or recursion. Some experiences with the use of the generator are mentioned, and potential extensions for generating traces of LOTOS descriptions are mentioned.	en
dc.language.iso	en	en
dc.title	The design and use of a Prolog trace generator for CSP	en