{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T16:21:55Z","timestamp":1725639715784},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540518389"},{"type":"electronic","value":"9783642751820"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/978-3-642-75182-0_48","type":"book-chapter","created":{"date-parts":[[2011,12,5]],"date-time":"2011-12-05T23:49:27Z","timestamp":1323128967000},"page":"496-506","source":"Crossref","is-referenced-by-count":0,"title":["ALPES A Programming Environment for Logic Programming"],"prefix":"10.1007","author":[{"given":"Bertram","family":"Fronh\u00f6fer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrich","family":"Furbach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"48_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61807-9","volume-title":"Algorithmic Language and Program Development","author":"FL Bauer","year":"1982","unstructured":"F.L. Bauer and H. W\u00f6ssner. Algorithmic Language and Program Development. Springer Verlag, New York (1982)"},{"key":"48_CR2","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/0004-3702(80)90050-8","volume":"14","author":"W Bibel","year":"1980","unstructured":"W. Bibel. Syntax-Directed, Semantics-Supported Program Synthesis. Artificial Intelligence 14 (1980), 243\u2013261","journal-title":"Artificial Intelligence"},{"key":"48_CR3","first-page":"69","volume-title":"Automatic Program Construction Techniques","author":"W Bibel","year":"1984","unstructured":"W. Bibel and K.M. H\u00f6rnig. LOPS - A System Based On a Strategical Approach to Program Synthesis. in: Alan W. Biermann and Gerard Guiho and Yves Kodratoff (eds.), Automatic Program Construction Techniques. Macmillan Publ. Comp., New York 1984, 69\u201389."},{"key":"48_CR4","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"RM Burstall","year":"1975","unstructured":"R.M. Burstall and J. Darlington. A transformation system for developing recursive programs. J. ACM 24 (1975), pp. 44\u201367","journal-title":"J. ACM"},{"key":"48_CR5","volume-title":"Sorts are nothing but Functions. An Equational Approach to sorts for Logic Programming","author":"T Conrad","year":"1988","unstructured":"T. Conrad and U. Furbach. Sorts are nothing but Functions. An Equational Approach to sorts for Logic Programming. FKI-89-88, TU M\u00fcnchen 1988."},{"key":"48_CR6","first-page":"41","volume-title":"Information Processing 86","author":"M Franova","year":"1986","unstructured":"M. Franova. Proving Theorems by Construction of Valid Formulae, in H.J. Kugler (ed.): Information Processing 86, pp. 41\u201347, North Holland, Amsterdam 1986"},{"key":"48_CR7","first-page":"577","volume-title":"ECAI-84. 6th European Conference on Artificial Intelligence","author":"B Fronh\u00f6fer","year":"1984","unstructured":"B. Fronh\u00f6fer. Heuristics for Recursion Improvement, in T. O\u2019Shea (ed.): ECAI-84. 6th European Conference on Artificial Intelligence, pp. 577\u2013580, North Holland, Amsterdam 1984."},{"key":"48_CR8","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1007\/978-3-642-46552-9_19","volume-title":"\u00d6sterreichische Artificial Intelligence Tagung","author":"B Fronh\u00f6fer","year":"1985","unstructured":"B. Fronh\u00f6fer. The LOPS-Approach: Towards New Syntheses of Algorithms, in: H. Trost and J. Retti (eds.), \u00d6sterreichische Artificial Intelligence Tagung. Springer, Berlin 1985, 164\u2013172."},{"key":"48_CR9","doi-asserted-by":"crossref","first-page":"388","DOI":"10.1007\/978-3-642-88719-2_36","volume-title":"Wissensbasierte Systeme","author":"B Fronh\u00f6fer","year":"1987","unstructured":"B. Fronh\u00f6fer and G. Neugebauer. ESPRIT-Project P973 ALPES \u2014 Advanced Logical Programming Environments in: W. Brauer and W. Wahlster (eds.), Wissensbasierte Systeme, 2. Int. GI-Congress, Munich 1987, 388\u2013394."},{"key":"48_CR10","unstructured":"U. Furbach and S. H\u00f6lldobler and J. Schreiber. Horn Equality Theories and Paramodulation, to appear in: Journal of Automated Reasoning."},{"key":"48_CR11","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1145\/322248.322258","volume":"28","author":"CJ Hogger","year":"1981","unstructured":"C.J. Hogger. Derivation of Logic Programs. Journal ACM 28 (1981), 372\u2013392","journal-title":"Journal ACM"},{"key":"48_CR12","unstructured":"On the Foundations of Equational Logic Programming. Dissertation UniBw M\u00fcnchen, 1988, to appear in: Springer Lecture Notes in AI."},{"issue":"1","key":"48_CR13","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/357084.357090","volume":"2","author":"Z Manna","year":"1980","unstructured":"Z. Manna and R. Waldinger A Deductive Approach tp Program Synthesis. ACM Transactions on Programming Languages and Systems 2 (1) (1980), pp. 90\u2013121.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"48_CR14","volume-title":"ynthesis of Sorting Algorithms with the LOPS-Approach","author":"G Neugebauer","year":"1986","unstructured":"G. Neugebauer. Synthesis of Sorting Algorithms with the LOPS-Approach. Technische Universit\u00e4t M\u00fcnchen 1986, Report ATP\u201356-III-86"},{"key":"48_CR15","unstructured":"G. Neugebauer. Users Manual for XPRTS. Technische Universit\u00e4t M\u00fcnchen 1987, ReportATP-78- IX-87"},{"key":"48_CR16","volume-title":"Geman Workshop on Artificial Intelligence","author":"G Neugebauer","year":"1989","unstructured":"G. Neugebauer, B. Fronh\u00f6fer, Ch. Kreitz. XPRTS \u2014 an Implementation Tool for Program Synthesis. in: D. Metzing (ed.), Geman Workshop on Artificial Intelligence. Springer, Berlin 1989 (to appear)."}],"container-title":["Informatik-Fachberichte","Wissensbasierte Systeme"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-75182-0_48.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T21:36:32Z","timestamp":1606253792000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-75182-0_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540518389","9783642751820"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-75182-0_48","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1989]]}}}