{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:07:57Z","timestamp":1725890877228},"publisher-location":"London","reference-count":22,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198062"},{"type":"electronic","value":"9781447135609"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3560-9_11","type":"book-chapter","created":{"date-parts":[[2012,12,30]],"date-time":"2012-12-30T01:49:46Z","timestamp":1356832186000},"page":"151-167","source":"Crossref","is-referenced-by-count":10,"title":["Deletion of Redundant Unary Type Predicates from Logic Programs"],"prefix":"10.1007","author":[{"given":"J.","family":"Gallagher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D. A.","family":"de Waal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","volume-title":"Addison-Wesley","author":"AV Aho","year":"1974","unstructured":"A.V. Aho, J.E. Hoperoft, and J.D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley, 1974."},{"key":"11_CR2","volume-title":"Abstract Interpretation of Sequential and Concurrent Logic Programs","author":"M Codish","year":"1991","unstructured":"M. Codish. Abstract Interpretation of Sequential and Concurrent Logic Programs. PhD thesis, The Weizmann Institute of Science, 1991."},{"key":"11_CR3","volume-title":"Transforming typed logic programs into well-typed logic programs. Technical Report 88\/11","author":"PW Dart","year":"1988","unstructured":"P.W. Dart and J. Zobel. Transforming typed logic programs into well-typed logic programs. Technical Report 88\/11, University of Melbourne, May 1988."},{"key":"11_CR4","volume-title":"Canonical computations of logic programs","author":"S Debray","year":"1990","unstructured":"S. Debray and R. Ramakrishnan. Canonical computations of logic programs. Technical Report, University of Arizona-Tucson, July 1990."},{"key":"11_CR5","volume-title":"Regular Approximations Applied to the Specialisation of a Proof Procedure. Technical Report CSTR-92-19","author":"DA Waal","year":"1992","unstructured":"D.A. de Waal and J. Gallagher. Regular Approximations Applied to the Specialisation of a Proof Procedure. Technical Report CSTR-92-19, University of Bristol, May 1992."},{"key":"11_CR6","volume-title":"A Mathematical Introduction to Logic","author":"HB Enderton","year":"1972","unstructured":"H.B. Enderton. A Mathematical Introduction to Logic. Academic Press, New York, 1972."},{"key":"11_CR7","volume-title":"H. Abramson and M.H. Rogers, editors, Meta-Programming in Logic Programming","author":"T Fr\u00fchwirth","year":"1988","unstructured":"T. Fr\u00fchwirth. Type inference by program transformation and partial evaluation. In H. Abramson and M.H. Rogers, editors, Meta-Programming in Logic Programming, 1988."},{"key":"11_CR8","volume-title":"A System for Specialising Logic programs. Technical Report TR-91-32","author":"J Gallagher","year":"1991","unstructured":"J. Gallagher. A System for Specialising Logic programs. Technical Report TR-91-32, University of Bristol, November 1991."},{"key":"11_CR9","series-title":"Technical Report CSTR-92-06","volume-title":"Regular Approximations of Logic Programs and Their Uses","author":"J Gallagher","year":"1992","unstructured":"J. Gallagher and D.A. de Waal. Regular Approximations of Logic Programs and Their Uses. Technical Report CSTR-92-06, University of Bristol, March 1992."},{"unstructured":"P.M. Hill and J.W. Lloyd. The G\u00f6del report. Technical Report TR-91-02, University of Bristol, March 1991. (preliminary version).","key":"11_CR10"},{"key":"11_CR11","volume-title":"S. Abramsky and C. Hankin, editors, Abstract Interpretation of Declarative Languages, Ellis-Horwood","author":"N Jones","year":"1987","unstructured":"N. Jones. Flow analysis of lazy higher order functional programs. In S. Abramsky and C. Hankin, editors, Abstract Interpretation of Declarative Languages, Ellis-Horwood, 1987."},{"key":"11_CR12","series-title":"Technical Report TR-549","volume-title":"Abstract interpretation based on Alexander templates","author":"T Kanamori","year":"1990","unstructured":"T. Kanamori. Abstract interpretation based on Alexander templates. Technical Report TR-549, ICOT, March 1990."},{"key":"11_CR13","series-title":"Springer-Verlag","first-page":"475","volume-title":"Lecture Note in Computer Science 225","author":"T Kanamori","year":"1986","unstructured":"T. Kanamori and H. Seki. Verification of Prolog programs using an extension of execution. In E. Shapiro, editor, Lecture Note in Computer Science, 225, pages 475-489, Springer-Verlag, 1986."},{"key":"11_CR14","volume-title":"Springer-Verlag","author":"J.W","year":"1987","unstructured":"J.W. Lloyd. Foundations of Logic Programming: 2nd Edition. Springer-Verlag, 1987."},{"issue":"34","key":"11_CR15","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0743-1066(91)90027-M","volume":"11","author":"JW Lloyd","year":"1991","unstructured":"J.W. Lloyd and J.C. Shepherdson. Partial Evaluation in Logic Programming. Journal of Logic Programming, 11 (3and4): 217 - 242, 1991.","journal-title":"Partial Evaluation in Logic Programming. Journal of Logic Programming"},{"key":"11_CR16","volume-title":"University of Edinburgh","author":"C.S","year":"1990","unstructured":"C.S. Mellish. Using specialisation to reconstruct two mode inference systems. Technical Report, University of Edinburgh, March 1990."},{"key":"11_CR17","volume-title":"Proceedings of the IEEE International Symposium on Logic Programming","author":"P Mishra","year":"1984","unstructured":"P. Mishra. Towards a theory of types in prolog. In Proceedings of the IEEE International Symposium on Logic Programming, 1984."},{"key":"11_CR18","doi-asserted-by":"crossref","first-page":"295307","DOI":"10.1016\/0004-3702(84)90017-1","volume":"23","author":"A. Mycroft","year":"1984","unstructured":"A. Mycroft. A polymorphic type system. Artificial Intelligence, 23: 295307, 1984.","journal-title":"Artificial Intelligence"},{"key":"11_CR19","volume-title":"Types and the Intended Meaning of Logic Programs. Technical","author":"L Naish","year":"1990","unstructured":"L. Naish. Types and the Intended Meaning of Logic Programs. Technical. Report, University of Melbourne, 1990."},{"key":"11_CR20","volume-title":"An Automatic Partial Evaluator for Full Prolog","author":"D Sahlin","year":"1991","unstructured":"D. Sahlin. An Automatic Partial Evaluator for Full Prolog. PhD thesis, The Royal Institute of Technology, 1991."},{"issue":"2","key":"11_CR21","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0743-1066(91)80002-U","volume":"10","author":"E Yardeni","year":"1991","unstructured":"E. Yardeni and E. Shapiro. A type system for logic programs. Journal of Logic Programming, 10 (2): 348 - 375, 1991.","journal-title":"Journal of Logic Programming"},{"key":"11_CR22","volume-title":"Analysis of Logic Programs. PhD thesis, Technical Report","author":"Zobel","year":"1990","unstructured":"Zobel. Analysis of Logic Programs. PhD thesis, Technical Report 47, University of Melbourne, September 1990."}],"container-title":["Workshops in Computing","Logic Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3560-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,27]],"date-time":"2019-01-27T13:23:20Z","timestamp":1548595400000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3560-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198062","9781447135609"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3560-9_11","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}