Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/2985
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Gilbert, D | - |
dc.contributor.author | Hogger, C | - |
dc.contributor.author | Zlatuska, J | - |
dc.coverage.spatial | 17 | en |
dc.date.accessioned | 2009-01-29T12:24:42Z | - |
dc.date.available | 2009-01-29T12:24:42Z | - |
dc.date.issued | 1994 | - |
dc.identifier.citation | Proceedings of Fourth International Workshop on Logic Programming Synthesis and Transformation (LOPSTR94), Fribourg, 1994. | en |
dc.identifier.uri | http://bura.brunel.ac.uk/handle/2438/2985 | - |
dc.description.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. | en |
dc.format.extent | 172595 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | en | - |
dc.publisher | Springer | en |
dc.title | Transforming specifications of observable behaviour into programs | en |
dc.type | Conference Paper | en |
Appears in Collections: | Computer Science Dept of Computer Science Research Papers |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
lopstr94.pdf | 168.55 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.