{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T11:27:52Z","timestamp":1746012472834},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540587927"},{"type":"electronic","value":"9783540491040"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58792-6_6","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:46:02Z","timestamp":1330274762000},"page":"88-103","source":"Crossref","is-referenced-by-count":1,"title":["Transforming specifications of observable behaviour into programs"],"prefix":"10.1007","author":[{"given":"David","family":"Gilbert","sequence":"first","affiliation":[]},{"given":"Christopher","family":"Hogger","sequence":"additional","affiliation":[]},{"given":"Jir\u00ed","family":"Zlatuska","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"issue":"1","key":"6_CR1","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1145\/151233.151242","volume":"36","author":"J-P. Ban\u00e2tre","year":"1993","unstructured":"J-P. Ban\u00e2tre and D. Le M\u00e9tayer. Programming by Multiset Transformation. Communications of the ACM, 36(1):98\u2013111, 1993.","journal-title":"Communications of the ACM"},{"key":"6_CR2","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0304-3975(93)90170-X","volume":"107","author":"M. Belia","year":"1993","unstructured":"M. Belia and M. E. Occhiuto. C-expressions: a variable-free calculus for equational logic programming. Theoretical Computer Science, 107:209\u2013252, 1993.","journal-title":"Theoretical Computer Science"},{"key":"6_CR3","first-page":"343","volume-title":"Debray and Hermenegildo","author":"K. Benkerimi","year":"1990","unstructured":"K. Benkerimi and J. W. Lloyd. A partial evaluation procedure for logic programs. In Debray and Hermenegildo [5], pages 343\u2013358."},{"issue":"4","key":"6_CR4","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1016\/0743-1066(87)90010-0","volume":"4","author":"D. R. Brough","year":"1987","unstructured":"D. R. Brough and C. J. Hogger. Compiling associativity into logic programs. The Journal of Logic Programming, 4(4):345\u2013360, December 1987.","journal-title":"The Journal of Logic Programming"},{"volume-title":"Proceedings of the 1990 North American Conference on Logic Programming","year":"1990","key":"6_CR5","unstructured":"S. Debray and M. Hermenegildo, editors. Proceedings of the 1990 North American Conference on Logic Programming, Austin, 1990. ALP, MIT Press."},{"key":"6_CR6","first-page":"924","volume-title":"Proceedings of the Fifth International Conference and Symposium on Logic Programming","author":"H. Fujita","year":"1988","unstructured":"H. Fujita, A. Okumura, and K. Furukawa. Partial evaluation of GHC programs based on the UR-set with constraints. In R. A. Kowalski and K. A. Bowen, editors, Proceedings of the Fifth International Conference and Symposium on Logic Programming, pages 924\u2013941, Seatle, 1988. ALP, IEEE, The MIT Press."},{"issue":"2","key":"6_CR7","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0743-1066(87)90015-X","volume":"4","author":"J. H. Gallier","year":"1987","unstructured":"J. H. Gallier and S. Raatz. Hornlog: A graph-based interpreter for general Horn clauses. The Journal of Logic Programming, 4(2):119\u2013156, June 1987.","journal-title":"The Journal of Logic Programming"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"D. R. Gilbert and C. J. Hogger. Logic for representing and implementing knowledge about system behaviour. In V Mar\u00edk, O Step\u00e1nkov\u00e1, and R Trappl, editors, Proceedings of the International Summer School on Advanced Topics in Artificial Intelligence, pages 42\u201349, Prague, Jul 1992. Springer Verlag Lecture Notes in Artificial Intelligence No. 617.","DOI":"10.1007\/3-540-55681-8_29"},{"key":"6_CR9","unstructured":"D. R. Gilbert and C. J. Hogger. Deriving logic programs from observations. In Jean-Marie Jacquet, editor, Constructing Logic Programs. John Wiley, 1993."},{"key":"6_CR10","volume-title":"Technical Report CS-88-08","author":"P. M. Hill","year":"1988","unstructured":"P. M. Hill and J. W. Lloyd. Analysis of Meta-programs. Technical Report CS-88-08, Department of Computer Science, University of Bristol, Bristol, UK, June 1988."},{"key":"6_CR11","unstructured":"P. M. Hill and J. W. Lloyd. The G\u00f6del programming language. MIT Press, 1993."},{"issue":"2","key":"6_CR12","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/BF01887205","volume":"1","author":"M. Huntbach","year":"1989","unstructured":"M. Huntbach. Meta-interpreters and partial evaluation in parlog. Formal Aspects of Computing, 1(2):193\u2013211, 1989.","journal-title":"Formal Aspects of Computing"},{"key":"6_CR13","unstructured":"R. A. Kowalski. Logic for problem solving. North Holland, 1979."},{"key":"6_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Spinger-Verlag, Berlin, second edition, 1987.","edition":"second edition"},{"issue":"3","key":"6_CR15","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0743-1066(91)90027-M","volume":"11","author":"J. W. Lloyd","year":"1991","unstructured":"J. W. Lloyd and J. C. Sheperdson. Partial evaluation in logic programming. The Journal of Logic Programming, 11(3 & 4):217\u2013242, October\/November 1991.","journal-title":"The Journal of Logic Programming"},{"key":"6_CR16","unstructured":"G. D. Plotkin. A note on inductive generalization. In B. Meltzer and D. Mitchie, editors, Machine Intelligence, pages 153\u2013165, 1970."},{"issue":"3","key":"6_CR17","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1145\/357139.357142","volume":"3","author":"M. Rem","year":"1981","unstructured":"M. Rem. Associons: A Program Notation with Tuples instead of Variables. ACM Transactions on Programming Languages and Systems, 3(3):251\u2013262, Jul 1981.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6_CR18","unstructured":"J. C. Reynolds. Transformational systems and the algebraic structure of atomic formulas. In B. Meltzer and D. Mitchie, editors, Machine Intelligence, pages 135\u2013151, 1970."},{"issue":"1","key":"6_CR19","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"J. A. Robinson. A machine-orientated logic based on the resolution principle. Journal of the ACM, 12(1):23\u201349, Jan 1965.","journal-title":"Journal of the ACM"},{"key":"6_CR20","first-page":"377","volume-title":"Proceedings of the 1990 North American Conference on Logic Programming","author":"D. Sahlin","year":"1990","unstructured":"D. Sahlin. The mixtus approach to automatic partial evaluation of full Prolog. In Debray and Hermenegildo [5], pages 377\u2013398."},{"key":"6_CR21","unstructured":"D. Sahlin. An Automatic Partial Evaluator for Full Prolog. PhD thesis, Swedish Institute of Computer Science, Mar 1991."}],"container-title":["Lecture Notes in Computer Science","Logic Program Synthesis and Transformation \u2014 Meta-Programming in Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58792-6_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:20:21Z","timestamp":1619572821000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58792-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540587927","9783540491040"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-58792-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}