{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:55:27Z","timestamp":1725663327621},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540506676"},{"type":"electronic","value":"9783540460633"}],"license":[{"start":{"date-parts":[[1988,1,1]],"date-time":"1988-01-01T00:00:00Z","timestamp":567993600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50667-5_64","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:29:57Z","timestamp":1330183797000},"page":"127-136","source":"Crossref","is-referenced-by-count":2,"title":["Types, modularisation and abstraction in logic programming"],"prefix":"10.1007","author":[{"given":"George","family":"Dayantis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0065-2458(08)60131-X","volume":"22","author":"A. Berztiss","year":"1983","unstructured":"Berztiss, A. & S. Thatte. Specification and Implementation of Abstract Data Types. Advances in Computers, Vol.22, pp.295\u2013353, 1983.","journal-title":"Advances in Computers"},{"key":"12_CR2","unstructured":"Clark, K. & S. Tarnlund. A first order theory of data and programs. Information Processing (IFIP) '77, North-Holland, pp.939\u2013944, 1977."},{"key":"12_CR3","unstructured":"Clocksin, W.F. & C.S. Mellish. Programming in Prolog. Springer-Verlag, 1981."},{"issue":"4","key":"12_CR4","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"Cardelli L. & P. Wegner. On understanding Types, Data Abstraction and Polymorphism. Computing Surveys, Vol.17, No.4, December 1985, ACM, pp.471\u2013522, 1986.","journal-title":"Computing Surveys"},{"key":"12_CR5","first-page":"9","volume":"1","author":"D. George","year":"1987","unstructured":"Dayantis George. Logic program derivation for a class of first-order logic relations. In: Proc. 10th IJCAI, Vol.1, pp.9\u201315, 1987.","journal-title":"Proc. 10th IJCAI"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Dayantis George. \u2018Types, modularisation and abstraction in logic programming'. D.Phil. thesis, University of Sussex, May 1988.","DOI":"10.1007\/3-540-50667-5_64"},{"key":"12_CR7","unstructured":"Domolki, B. & P. Szeredi. Prolog in practice. Information Processing (IFIP) '83, North-Holland, pp. 627\u2013636, 1983."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Furukawa, K., Nakajima, R. & A. Yonezawa. Modularization and Abstraction in Logic Programming. ICOT TR-022, 1983.","DOI":"10.1007\/BF03037423"},{"key":"12_CR9","unstructured":"Goguen, J. & J. Meseguer. Equalities, types and generic modules for logic programming. In: de Groot, D. & E. Lindstrom (eds.). Logic Programming: Functions, Relations and Equations. Prentice-Hall, 1986."},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Miller, D.A. A theory of modules for logic programming. Proc. 3d IEEE Symposium on Logic Programming, pp.448\u2013462, 1986.","DOI":"10.1007\/3-540-16492-8_94"},{"key":"12_CR11","unstructured":"Mishra, P. Towards a theory of types in Prolog. Proc. 1st IEEE Symposium on Logic Programming, pp.289\u2013298, 1984."},{"issue":"3","key":"12_CR12","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/0004-3702(84)90017-1","volume":"23","author":"A. Mycroft","year":"1984","unstructured":"Mycroft, A. & R. O'Keefe. A polymorphic type system for Prolog. D.A.I. paper, No.211, Univ. of Edinburgh, 1983. Also in: Artificial Intelligence, Vol.23, No.3, pp.295\u2013307, 1984.","journal-title":"Artificial Intelligence"},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/3-540-16492-8_93","volume":"225","author":"A. M. Nait","year":"1986","unstructured":"Nait, Abdallah M. Procedures in Horn-clause programming. in: Shapiro, E. (ed.) Proceedings of Third International Conference on Logic Programming, London, July 1986, Lecture Notes in Computer Science, Vol. 225, Springer-Verlag, pp.433\u2013447, 1986.","journal-title":"Lecture Notes in Computer Science"},{"key":"12_CR14","unstructured":"O'Keefe, R. Towards an algebra for constructing logic programs. Proc. 2nd IEEE Symposium on Logic Programming, pp.152\u2013160, 1985."},{"key":"12_CR15","unstructured":"Sannella, D.T. & L.A. Wallen. A calculus for the construction of modular Prolog programs. (To appear:) Proc. 4th IEEE Symposium on Logic Programming, 1987."},{"key":"12_CR16","series-title":"Technical paper","volume-title":"Order-sorted Horn logic, semantics and deduction","author":"G. Smolka","year":"1986","unstructured":"Smolka, G. Order-sorted Horn logic, semantics and deduction. Technical paper, FB Informatik, Kaiserslautern Univ., W.Germany, 1986."},{"key":"12_CR17","unstructured":"Walther, C. A many-sorted calculus based on resolution and paramodulation. Proc. 8th IJCAI, pp.882\u2013891, 1983."},{"key":"12_CR18","unstructured":"Zaniolo, C. Object-oriented programming in Prolog. Proc. 1st IEEE Symposium on Logic Programming, pp.265\u2013270, 1984."}],"container-title":["Lecture Notes in Computer Science","Algebraic and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50667-5_64","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T06:08:16Z","timestamp":1561356496000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50667-5_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540506676","9783540460633"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-50667-5_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}