{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T12:58:00Z","timestamp":1648904280356},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1986,4,1]],"date-time":"1986-04-01T00:00:00Z","timestamp":512697600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1986,4]]},"DOI":"10.1007\/bf00268076","type":"journal-article","created":{"date-parts":[[2006,2,19]],"date-time":"2006-02-19T05:14:38Z","timestamp":1140326078000},"page":"67-98","source":"Crossref","is-referenced-by-count":0,"title":["Acceptable functional programming systems"],"prefix":"10.1007","volume":"23","author":[{"given":"L.","family":"Duponcheel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Duponcheel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF00268076_CR1","volume-title":"Anatomy of Lisp","author":"J. Allen","year":"1978","unstructured":"Allen, J.: Anatomy of Lisp. New York: McGraw-Hill 1978"},{"key":"BF00268076_CR2","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21-8","author":"J. Backus","year":"1978","unstructured":"Backus, J.: Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. CACM, 21-8, 613\u2013641 (1978)","journal-title":"CACM"},{"key":"BF00268076_CR3","unstructured":"Backus, J.: The algebra of functional programs: Function level reasoning, linear equations and extended definitions. Proc., April 81, International Colloquium on the Formalization of Programming Concepts. Lect. Notes Comput. Sci. 107, 1\u201343 (1981)"},{"key":"BF00268076_CR4","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF00625280","volume":"18","author":"M. Broy","year":"1982","unstructured":"Broy, M., Wirsing, M.: Partial Abstract Types. Acta Inf. 18, 47\u201364 (1982)","journal-title":"Acta Inf."},{"key":"BF00268076_CR5","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1051\/ro\/1983170201371","volume":"17","author":"M. Broy","year":"1983","unstructured":"Broy, M., Wirsing, M.: Algebraic Definition of a Functional Programming Language and its Semantic Models. RAIRO, 17, 137\u2013161 (1983)","journal-title":"RAIRO"},{"key":"BF00268076_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139171496","volume-title":"Computability","author":"N. Cutland","year":"1980","unstructured":"Cutland, N.: Computability. Cambridge: Cambridge University Press 1980"},{"key":"BF00268076_CR7","unstructured":"Duponcheel, L., Duponcheel, M.: Elementary Operators and Least Fixed Point Functions. (To appear)"},{"key":"BF00268076_CR8","volume-title":"Current trends in programming methodology, Vol. IV","author":"J.A. Goguen","year":"1979","unstructured":"Goguen, J.A., Tatcher, J.W., Wagner, E.G.: An initial algebra approach to the specification, correctness and implementation of abstract data types. In: Current trends in programming methodology, Vol. IV (Yeh ed.). London: Prentice-Hall 1979"},{"key":"BF00268076_CR9","volume-title":"An introduction to the General Theory of Algorithms","author":"M. Machtey","year":"1978","unstructured":"Machtey, M., Young, P.: An introduction to the General Theory of Algorithms. New York: Elsevier 1978"},{"key":"BF00268076_CR10","volume-title":"Mathematical theory of Computation","author":"Z. Manna","year":"1974","unstructured":"Manna, Z.: Mathematical theory of Computation. New York: McGraw-Hill 1974"},{"key":"BF00268076_CR11","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1145\/355609.362336","volume":"16-8","author":"Z. Manna","year":"1973","unstructured":"Manna, Z., Ness, S., Vuillemin, J.: Inductive methods for proving properties of programs. CACM, 16-8, 491\u2013502 (1973)","journal-title":"CACM"},{"key":"BF00268076_CR12","series-title":"Tech. Report RJ 2983","volume-title":"On the development of the algebra of functional programs","author":"J.H. Williams","year":"1980","unstructured":"Williams, J.H.: On the development of the algebra of functional programs. Tech. Report RJ 2983. San Jose, CA: IBM Research Lab., 1980"},{"key":"BF00268076_CR13","doi-asserted-by":"crossref","unstructured":"Williams, J.H.: Formal representations of recursively defined functional programs. Proc., April 81, International Colloquium on the Formalization of Programming Concepts. Lect. Notes Comput. Sci. 107, 460\u2013470 (1981)","DOI":"10.1007\/3-540-10699-5_119"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00268076.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00268076\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00268076","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T19:21:06Z","timestamp":1554319266000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00268076"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,4]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1986,4]]}},"alternative-id":["BF00268076"],"URL":"https:\/\/doi.org\/10.1007\/bf00268076","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,4]]}}}