{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,20]],"date-time":"2025-07-20T03:35:52Z","timestamp":1752982552173},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1992,3,1]],"date-time":"1992-03-01T00:00:00Z","timestamp":699408000000},"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":[[1992,3]]},"DOI":"10.1007\/bf01185679","type":"journal-article","created":{"date-parts":[[2005,2,18]],"date-time":"2005-02-18T12:50:36Z","timestamp":1108731036000},"page":"211-239","source":"Crossref","is-referenced-by-count":15,"title":["On the synthesis of function inverses"],"prefix":"10.1007","volume":"29","author":[{"given":"P. G.","family":"Harrison","sequence":"first","affiliation":[]},{"given":"H.","family":"Khoshnevisan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"8","key":"CR1","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J.W. Backus","year":"1978","unstructured":"[Backus78] Backus, J.W.; Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. CACM 21 (8), 613?641 (1978)","journal-title":"CACM"},{"key":"CR2","series-title":"Research Report, PRG","volume-title":"A calculus of functions for program synthesis","author":"R.S. Bird","year":"1987","unstructured":"[Bird87] Bird, R.S.; A calculus of functions for program synthesis. Research Report, PRG. Oxford: Oxford University 1987"},{"key":"CR3","volume-title":"Functional programming and its applications","author":"J. Darlington","year":"1982","unstructured":"[Darlington82] Darlington, J.: Program transformation. In: Darlington, J., Henderson, P., Turner, D.A. (eds) Functional programming and its applications. Cambridge: Cambridge University Press 1982"},{"key":"CR4","first-page":"37","volume-title":"Logic languages","author":"J. Darlington","year":"1986","unstructured":"[Darlington86] Darlington, J., Field, A.J., Pull, H.: The unification of functional and logic languages. In: Degroot, D., Lindstrom, G. (eds.) Logic languages, pp. 37?70. Englewood Cliffs: Prentice-Hall 1986"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"[Darlington89] Darlington, J. et al.: A functional programming environment supporting execution, partial execution and transformation. in proc. PARLE, France, 1989","DOI":"10.1007\/3540512845_46"},{"key":"CR6","series-title":"Research Report","volume-title":"Inverse image analysis generalises strictness analysis","author":"P. Dybjer","year":"1988","unstructured":"[Dybjer88] Dybjer, P.; Inverse image analysis generalises strictness analysis. Research Report, Chalmers University of Technology and University of Goteborg, Sweden, 1988"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"[Harrison91] Harrison, P.G., Khoshnevisan, H.: The mechanical transformation of data types. Comput. J. To appear 1992","DOI":"10.1093\/comjnl\/35.2.138"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"[Harrison92] Harrison, P.G., Khoshnevisan, H.: ?A new approach to recursion removal?, Theoret. Comput. Sci. To appear 1992","DOI":"10.1016\/0304-3975(92)90213-Y"},{"key":"CR9","series-title":"Lect. Notes Comput. Sci.","volume-title":"?An automatic function inverter?. 3rd International Conference on Rewriting Techniques and Applications","author":"H. Khoshnevisan","year":"1989","unstructured":"[Khoshnevisan89] Khoshnevisan, H., Sephton, K.M.: ?An automatic function inverter?. 3rd International Conference on Rewriting Techniques and Applications (Lect. Notes Comput. Sci. Vol. 355) Berlin, Heidelberg New York: Springer 1989"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"[Kieburtz81] Kieburtz, R.B., Shultis, J.: ?Transformations of FP program schemes?. ACM Conference on Functional Languages and Computer Architecture. Portsmouth, New Hampshire 1981","DOI":"10.1145\/800223.806761"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"[Lillie91] Lillie, D.J., Harrison, P.G.: ?A projection model of types?. International Conference on Functional Programming Languages and Computer Architecture, Cambridge, MA USA 1991","DOI":"10.1007\/3540543961_13"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"[Milner78] Milner, R.: ?A theory of type polymorphism in programming?. J. Comput. System Sci. 17, 348?375 (1978)","journal-title":"J. Comput. System Sci."},{"issue":"1","key":"CR13","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J.A. Robinson","year":"1965","unstructured":"[Robinson65] Robinson, J.A.: ?A machine-oriented logic based on the resolution principle?. JACM 12 (1), 23?41 (1965)","journal-title":"JACM"},{"key":"CR14","first-page":"427","volume-title":"Partial evaluation and mixed computation","author":"A.Y. Romanenko","year":"1988","unstructured":"[Romanenko88] Romanenko, A.Y.: ?The generation of inverse functions in REFAL?. In: Bjorner, D., Ershov, A.P., Jones, N.D. (eds) Partial evaluation and mixed computation; pp. 427?444. Amsterdam: North-Holland 1988"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G.D. Plotkin","year":"1976","unstructured":"[Plotkin76] Plotkin, G.D.: ?A powerdomain construction?. SIAM J. Comput. 5, 452?487 (1976)","journal-title":"SIAM J. Comput."},{"key":"CR16","unstructured":"[Plotkin81] Plotkin, G.D.: ?Lecture notes on domain theory?. (unpublished) University of Edinburgh 1981"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01185679.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01185679\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01185679","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T21:00:56Z","timestamp":1586120456000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01185679"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,3]]},"references-count":16,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1992,3]]}},"alternative-id":["BF01185679"],"URL":"https:\/\/doi.org\/10.1007\/bf01185679","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,3]]}}}