{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:18Z","timestamp":1761611298389},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164425"},{"type":"electronic","value":"9783540397823"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16442-1_9","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:41:27Z","timestamp":1330195287000},"page":"119-132","source":"Crossref","is-referenced-by-count":19,"title":["Design and implementation of a generic, logic and functional programming language"],"prefix":"10.1007","author":[{"given":"Didier","family":"Bert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rachid","family":"Echahed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"issue":"8","key":"9_CR1","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"J. Backus: Can Programming be Liberated From Von Neumann Style ? A functional style of algebra of programs. CACM, vol 21, no. 8, pp. 613\u2013641, August 1978.","journal-title":"CACM"},{"key":"9_CR2","unstructured":"G. Barberye, T. Joubert, M. Martin, M. Mouffron, E. Paul: Manuel OASIS. Note technique CNET, NT\/PAA\/CLC\/LSC\/959, 1983."},{"key":"9_CR3","unstructured":"D. Bert: Refinements of Generic Specifications With Algebraic Tools. Proceedings of the IFIP 9th World Computer Congress, pp. 815\u2013820, Paris, September 1983."},{"key":"9_CR4","unstructured":"D. Bert, S. Bensalem: Algebra of Strongly Typed Functional Programs. RR. IMAG-561-LIFIA-33, Grenoble, 1985."},{"key":"9_CR5","unstructured":"R. M. Burstall, J. A. Goguen: Putting theories together to make specifications. Proceedings of 5th International Joint Conference on Artificial Intelligence, pp. 1045\u20131058, Cambrige (Massachussets), 1977."},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"R. M. Burstall, J. A. Goguen: The Semantics of CLEAR, a specification language. Proceedings of Advanced Course on Abstract Software Specification, LNCS, no. 86, pp. 292\u2013332, Copenhagen, 1980.","DOI":"10.1007\/3-540-10007-5_41"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"H. Ehrig, H. J. Kreowski, J. W. Thatcher, E. W. Wagner, J. Wright: Parameter Passing in Algebraic Specification Languages. Theoretical Computer Science, no. 28, pp. 45\u201381, North-Holland, 1984.","DOI":"10.1016\/0304-3975(83)90065-8"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"L. Fribourg: Handling Function Definitions Through Innermost Superposition and Rewriting. LITP, Rapport no. 84\u201369, Paris, 1984.","DOI":"10.1007\/3-540-15976-2_16"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"K. Futatsugi, J. A. Goguen, J.-P. Jouannaud, J. Meseguer: Principles of OBJ2. CRIN, Rapport no. 84-R-066, Nancy, 1984.","DOI":"10.1145\/318593.318610"},{"key":"9_CR10","unstructured":"J. A. Goguen, J. W. Thatcher, E. W Wagner: An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data types. Current Trends in Programming Methodology, vol. 4: Data Structuring, chap. 5, Prentice Hall, 1978."},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"J. A. Goguen, R. M. Burstall: Introducing Institutions. Proceedings Logics and Programming Workshop, pp. 221\u2013256, 1984.","DOI":"10.1007\/3-540-12896-4_366"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"J. A. Goguen, J. Meseguer: Universal Realisation, Persistent Interconnection and Implementation of Abstract Modules. 9th Colloquium on Automata, Languages and Programming, LNCS, no 140, pp. 265\u2013281, 1982.","DOI":"10.1007\/BFb0012775"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"J. A. Goguen, J. Meseguer: Equality, Types, Modules and Generics for Logic Programming. Proceedings of International Conference on Logic Programming, Uppsala, 1984.","DOI":"10.1016\/0743-1066(84)90004-9"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"J. V. Guttag: The Algebraic Specification of Abstract data types. Acta Informatica, no. 10, 1978.","DOI":"10.1007\/BF00260922"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"J.-M. Hullot: Canonical Forms and Unification. Proceedings 5th Conference on Automated Deduction. LNCS, no. 87, pp. 318\u2013334, 1980.","DOI":"10.21236\/ADA087640"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"J-P. Jouannaud, C. Kirchner, H. Kirchner: Incremental Constructions of Unification Algorithms in Equational Theories. Automata, Languages and Programming, pp. 361\u2013375, Barcelona, 1983.","DOI":"10.1007\/BFb0036921"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"P. Rety, C. Kirchner, H. Kirchner, P. Lescanne: Narrower: a new algorithm for unification and its application to logic programming. First International Conference on Rewriting Techniques and Applications. Dijon, 1985.","DOI":"10.1007\/3-540-15976-2_7"},{"issue":"1","key":"9_CR18","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"J. A. Robinson: A Machine-Oriented Logic Based on the Resolution Principle. JACM, vol. 12, no. 1, pp. 23\u201341, 1965.","journal-title":"JACM"},{"issue":"4","key":"9_CR19","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1145\/69622.357192","volume":"4","author":"J. W. Thatcher","year":"1982","unstructured":"J. W. Thatcher, E. W. Wagner, J. B. Wright: Data Type Specification: Parameterization and the Power of Specification Techniques. ACM TOPLAS, vol. 4, no. 4, pp. 711\u2013732, 1982.","journal-title":"ACM TOPLAS"},{"issue":"4","key":"9_CR20","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. H. Emden Van","year":"1976","unstructured":"M. H. Van Emden, R. A. Kowalski: The semantics of Predicate Logic as a Programming Language. JACM, vol. 23, no. 4, pp. 733\u2013742, 1976.","journal-title":"JACM"}],"container-title":["Lecture Notes in Computer Science","ESOP 86"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16442-1_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T01:43:28Z","timestamp":1640915008000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16442-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164425","9783540397823"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-16442-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}