Please use this identifier to cite or link to this item:
|Title:||Transforming specifications of observable behaviour into programs|
|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
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.