Premium
The design and use of a prolog trace generator for CSP
Author(s) -
Kourie D. G.
Publication year - 1987
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.4380170702
Subject(s) - prolog , trace (psycholinguistics) , computer science , programming language , recursion (computer science) , generator (circuit theory) , context (archaeology) , theoretical computer science , power (physics) , paleontology , philosophy , linguistics , physics , quantum mechanics , biology
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.