Please use this identifier to cite or link to this item:
Title: Transforming specifications of observable behaviour into programs
Authors: Gilbert, D
Hogger, C
Zlatuska, J
Issue Date: 1994
Publisher: Springer
Citation: Proceedings of Fourth International Workshop on Logic Programming Synthesis and Transformation (LOPSTR94), Fribourg, 1994.
Abstract: A methodology for deriving programs from specifications of observable behaviour is described. The class of processes to which this methodology is applicable includes those whose state changes are fully definable by labelled transition systems, for example communicating processes without internal state changes. A logic program representation of such labelled transition systems is proposed, interpreters based on path searching techniques are defined, and the use of partial evaluation techniques to derive the executable programs is described.
Appears in Collections:Computer Science
Dept of Computer Science Research Papers

Files in This Item:
File Description SizeFormat 
lopstr94.pdf168.55 kBAdobe PDFView/Open

Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.