{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:32Z","timestamp":1725456212690},"publisher-location":"Berlin\/Heidelberg","reference-count":16,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354019343X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0012856","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T01:12:39Z","timestamp":1132708359000},"page":"550-562","source":"Crossref","is-referenced-by-count":1,"title":["Program synthesis by completion with dependent subtypes"],"prefix":"10.1007","author":[{"given":"Paul","family":"Jacquet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"37_CR1","doi-asserted-by":"crossref","unstructured":"N. Dershowitz. Computing with Rewrite Systems. Information and Control Vol.65, No 2\/3, May\/June 1985.","DOI":"10.1016\/S0019-9958(85)80003-6"},{"key":"37_CR2","unstructured":"J.L. Bates and R.L. Constable. Proofs as programs. TR 82-530, Dept. of Computer Science, Cornell University, March 1983."},{"key":"37_CR3","doi-asserted-by":"publisher","first-page":"234","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, pp. 234\u2013261.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"37_CR4","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/357084.357090","volume":"2","author":"Z. Manna","year":"1980","unstructured":"Z. Manna and R.J. Waldinger. A deductive approach to program synthesis. ACM Transactions on Programming languages and Systems Vol. 2, No. 1, January 1980, pp 90\u2013121.","journal-title":"ACM Transactions on Programming languages and Systems"},{"key":"37_CR5","unstructured":"G. Smolka and H. A\u00eft-Kaci. Inheritance Hierarchies: Semantics and Unification. MCC Technical report AI-057-87."},{"key":"37_CR6","unstructured":"J-L. Remy and H. Zhang. REVEUR4: A system for validating conditional algebraic specifications of abstract data types. Proc. of 6th ECAI, Pisa, pp. 563\u2013572, 1984."},{"key":"37_CR7","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/3-540-15976-2_2","volume":"202","author":"H. Zhang","year":"1985","unstructured":"H. Zhang and J-L. Remy. Contextual Rewriting. Proc. 1st. Conference on Rewriting Techniques and Applications.LNCS 202, pp. 46\u201362, 1985.","journal-title":"Proc. 1st. Conference on Rewriting Techniques and Applications.LNCS"},{"key":"37_CR8","unstructured":"J. Meseguer and J.A. Goguen. Initiality, induction, and computability. in Algebraic methods in semantics, M. Nivat and J.C. Reynolds, eds. Cambridge University Press, 1985, pp 459\u2013541."},{"key":"37_CR9","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/B978-0-12-115350-2.50017-8","volume-title":"Formal Language Theory: Perspectives and Open Problems","author":"G. Huet","year":"1980","unstructured":"G. Huet and D.C. Oppen. Equations and rewrite rules: A survey. in Formal Language Theory: Perspectives and Open Problems. R. Book, ed. Academic Press, New York, 1980, pp 349\u2013405."},{"key":"37_CR10","unstructured":"J-L. Remy. Etudes des syst\u00e8mes de r\u00e9\u00e9criture conditionnelles et applications aux types abstraits alg\u00e9briques. Th\u00e8se d'\u00e9tat, Universit\u00e9 de Nancy 1, 1982."},{"key":"37_CR11","unstructured":"M. Navarro and F. Orejas. On the equivalence of hierarchical and non-hierarchical rewriting on conditional term rewriting systems. Eurosam 84, Oxford."},{"key":"37_CR12","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00264228","volume":"22","author":"R.J. Cunningham","year":"1985","unstructured":"R.J. Cunningham and A.J.J. Dick. Rewrite Systems on a lattice of types. Acta Informatica 22, 1985, pp. 149\u2013169.","journal-title":"Acta Informatica"},{"key":"37_CR13","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1007\/3-540-16780-3_117","volume":"230","author":"C. Walther","year":"1986","unstructured":"C. Walther. A classification of many-sorted unification problems. Proc. 8nth International Conference on Automated deduction,LNCS 230, 1986, pp. 525\u2013537.","journal-title":"Proc. 8nth International Conference on Automated deduction,LNCS"},{"key":"37_CR14","volume-title":"Presented at the Colloquium on the Resolution of Equations in Algebraic Structures","author":"G. Smolka","year":"1987","unstructured":"G. Smolka, W. Nutt, J. Meseguer and J.A. Goguen. Order-sorted equational computation. Presented at the Colloquium on the Resolution of Equations in Algebraic Structures. Lakeway, Texas, May 4\u20136 1987."},{"key":"37_CR15","doi-asserted-by":"crossref","unstructured":"D.Bert and R.Echaed. Design and implementation of a generic, logic and functional programming anguage. Proc. ESOP'86, LNCS 213, pp. 119\u2013132.","DOI":"10.1007\/3-540-16442-1_9"},{"key":"37_CR16","doi-asserted-by":"crossref","first-page":"538","DOI":"10.1007\/3-540-16780-3_118","volume":"230","author":"M. Schmidt-Schau\u00df","year":"1986","unstructured":"M. Schmidt-Schau\u00df. Unification in many-sorted equational theoriesProc. 8nth International Conference on Automated deduction, LNCS 230, 1986, pp. 538\u2013552.","journal-title":"Proc. 8nth International Conference on Automated deduction, LNCS"}],"container-title":["Lecture Notes in Computer Science","9th International Conference on Automated Deduction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0012856","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T00:24:06Z","timestamp":1586564646000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0012856"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354019343X"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0012856","relation":{},"subject":[]}}