{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:55:24Z","timestamp":1725663324918},"publisher-location":"Berlin, Heidelberg","reference-count":16,"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_65","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:29:50Z","timestamp":1330183790000},"page":"137-146","source":"Crossref","is-referenced-by-count":3,"title":["Translating algebraic specifications to Prolog programs: A comparative study"],"prefix":"10.1007","author":[{"given":"K.","family":"Drosten","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"13_CR1","series-title":"Technical Report","volume-title":"Algebraic Specification and Prolog","author":"R.G. Bandes","year":"1982","unstructured":"Bandes, R.G.: Algebraic Specification and Prolog, Technical Report 82-12-02, Dept. of Comp. Science, Univ. of Washington, Seattle, 1982"},{"key":"13_CR2","volume-title":"Proc. 6th CAAP","author":"M. Bergman","year":"1981","unstructured":"Bergman, M. \/ Deransart, P.: Abstract Data Types and Rewriting Systems: Application to the Programming of Abstract Data Types in Prolog, Proc. 6th CAAP (E. Astesiano \/ C. Boehm, eds.), LNCS 112, Springer-Verlag, Berlin, 1981"},{"key":"13_CR3","unstructured":"Colmerauer, A. \/ Kanoui, H. \/ Roussel, P. \/ Pasero, R.: Un Systeme de Communication Homme \u2014 Machine en Francais, Rapport de Recherche, Groupe d'Intelligence Artificielle, Univ. d'Aix-Marseille, 1973"},{"key":"13_CR4","volume-title":"Programming in Prolog","author":"W.F. Clocksin","year":"1981","unstructured":"Clocksin, W.F. \/ Mellish, C.S.: Programming in Prolog, Springer-Verlag, Berlin, 1981"},{"key":"13_CR5","unstructured":"Drosten, K. \/ Ehrich, H.-D.: Translating Algebraic Specifications to Prolog Programs, Informatik-Bericht Nr. 84-08, TU Braunschweig, 1984"},{"key":"13_CR6","unstructured":"Drosten, K.: On Extensions of Term Rewriting Systems and their Application to Rapid Prototyping of Algebraic Specifications (in German), Dissertation, TU Braunschweig, 1988"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Ehrich, H.-D.: On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types, Journal ACM 29(1), 1982","DOI":"10.1145\/322290.322303"},{"key":"13_CR8","unstructured":"van Emden, M.H. \/ Yukawa, K.: Equational Logic Programming, Technical Report, Dept. of Comp. Science, Univ. of Waterloo, 1986"},{"key":"13_CR9","unstructured":"Gaube, W. \/ Lockemann, P.C. \/ Mayr, H.C.: ORS-Spezifikationslabor: Generierung von Prolog Programmen aus Definitionen abstrakter Datentypen, Technical Report 15\/84, Univ. Karlsruhe, 1984"},{"key":"13_CR10","unstructured":"Gaube, W. \/ Lockemann, P.C. \/ Mayr, H.C.: ORS-Spezifikationslabor: Generierung von Prolog Programmen aus Definitionen abstrakter Datentypen, Technical Report 15\/84, Univ. Karlsruhe, 1984"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Goguen, J.A. \/ Meseguer, J.: Equality, Types, Modules, and (Why not?) Generics for Logic Programming, Journal of Logic Programming 1(2), 1984","DOI":"10.1016\/0743-1066(84)90004-9"},{"key":"13_CR12","volume-title":"Current Trends in Programming Methodology IV","author":"J.A. Goguen","year":"1978","unstructured":"Goguen, J.A. \/ Thatcher, J.B. \/ Wagner, E.G.: An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types, Current Trends in Programming Methodology IV (R.T. Yeh, ed.), Prentice Hall, Englewood Cliffs, 1978"},{"key":"13_CR13","volume-title":"Information Processing 74","author":"R. Kowalski","year":"1974","unstructured":"Kowalski, R.: Predicate Logic as a Programming Language, Information Processing 74 (J.L. Rosenfeld, ed.), North-Holland, Amsterdam, 1974"},{"key":"13_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1984","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, Springer-Verlag, Berlin, 1984"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Petzsch, H.: Automatic Prototyping of Algebraic Specifications Using Prolog, Technical Report, Lehrstuhl f\u00fcr Informatik II, RWTH Aachen, 1985","DOI":"10.1007\/978-3-662-09691-8_16"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Robinson, J.A.: A Machine-Oriented Logic Based on the Resolution Principle, Journal ACM 12(1), 1965","DOI":"10.1145\/321250.321253"}],"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_65","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T06:08:04Z","timestamp":1561356484000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50667-5_65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540506676","9783540460633"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-50667-5_65","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}