{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:52:00Z","timestamp":1725558720278},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205272"},{"type":"electronic","value":"9783540400073"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40007-3_18","type":"book-chapter","created":{"date-parts":[[2010,6,25]],"date-time":"2010-06-25T20:04:10Z","timestamp":1277496250000},"page":"287-307","source":"Crossref","is-referenced-by-count":1,"title":["Formal Methods within a Totally Functional Approach to Programming"],"prefix":"10.1007","author":[{"given":"Paul A.","family":"Bailes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Colin J. M.","family":"Kemp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Functional Programming Languages and Computer Architecture","author":"D.A. Turner","year":"1985","unstructured":"Turner, D.A.: Miranda - a non-strict functional language with polymorphic types. In: Jouannaud, J.-P. (ed.) FPCA 1985. LNCS, vol.\u00a0201, pp. 1\u201316. Springer, Heidelberg (1985)"},{"issue":"2","key":"18_CR2","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1093\/comjnl\/32.2.98","volume":"32","author":"J. Hughes","year":"1989","unstructured":"Hughes, J.: Why Functional Programming Matters. The Computer Journal\u00a032(2), 98\u2013107 (1989)","journal-title":"The Computer Journal"},{"key":"18_CR3","volume-title":"Introduction to Functional Programming","author":"R. Bird","year":"2000","unstructured":"Bird, R.: Introduction to Functional Programming. Prentice-Hall, Englewood Cliffs (2000)"},{"key":"18_CR4","unstructured":"http:\/\/www.haskell.org"},{"issue":"4","key":"18_CR5","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1017\/S0956796899003500","volume":"9","author":"G. Hutton","year":"1999","unstructured":"Hutton, G.: A Tutorial on the Universality and Expressiveness of Fold. Journal of Functional Programming\u00a09(4), 355\u2013372 (1999)","journal-title":"Journal of Functional Programming"},{"key":"18_CR6","volume-title":"The Lambda Calculus - Its Syntax and Semantics","author":"H.P. Barendregt","year":"1984","unstructured":"Barendregt, H.P.: The Lambda Calculus - Its Syntax and Semantics. North-Holland, Amsterdam (1984)"},{"key":"18_CR7","volume-title":"The Theory of Parsing, Translation and Compiling","author":"A.V. Aho","year":"1972","unstructured":"Aho, A.V., Ullman, J.D.: The Theory of Parsing, Translation and Compiling. Prentice-Hall, Englewood Cliffs (1972)"},{"key":"18_CR8","volume-title":"Proc. Glasgow Workshop on Functional Programming","author":"G. Hutton","year":"1989","unstructured":"Hutton, G.: Parsing Using Combinators. In: Proc. Glasgow Workshop on Functional Programming. Springer, Heidelberg (1989)"},{"key":"18_CR9","first-page":"43","volume-title":"Research Topics in Functional Programming","author":"H. Boehm","year":"1990","unstructured":"Boehm, H., Cartwright, R.: Exact Real Arithmetic: Formulating Real Numbers as, Functions. In: Turner, D.A. (ed.) Research Topics in Functional Programming, pp. 43\u201364. Addison-Wesley, Reading (1990)"},{"key":"18_CR10","volume-title":"Proc. ACM Conference on Functional Programming and Computer Architecture","author":"T. Sheard","year":"1993","unstructured":"Sheard, T., Fougaras, L.: A fold for all seasons. In: Proc. ACM Conference on Functional Programming and Computer Architecture. Springer, Heidelberg (1993)"},{"key":"18_CR11","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1977","unstructured":"Milner, R.: A Theory of Type Polymorphism in Programming. J. Comp. Syst. Scs.\u00a017, 348\u2013375 (1977)","journal-title":"J. Comp. Syst. Scs."},{"key":"18_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Mathematical Foundations of Software Development","author":"J.C. Reynolds","year":"1985","unstructured":"Reynolds, J.C.: Three approaches to type structure. In: Nivat, M., Floyd, C., Thatcher, J., Ehrig, H. (eds.) CAAP 1985 and TAPSOFT 1985. LNCS, vol.\u00a0185. Springer, Heidelberg (1985)"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Jones, M.P.: First-class Polymorphism with Type Inference. In: Proc. 24th ACM Symposium on Principles of Programming Languages (1997)","DOI":"10.1145\/263699.263765"},{"key":"18_CR14","volume-title":"The Implementation of Functional Programming Languages","author":"S. Peyton Jones","year":"1987","unstructured":"Peyton Jones, S.: The Implementation of Functional Programming Languages. Prentice-Hall International, Hemel Hempstead (1987)"},{"key":"18_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0249-3","volume-title":"Subrecursive Programming Systems: Complexity & Succintness","author":"J.S. Royer","year":"1994","unstructured":"Royer, J.S., Case, J.: Subrecursive Programming Systems: Complexity & Succintness. Birkhauser, Basel (1994)"},{"key":"18_CR16","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Functional Programming Languages in Education","author":"D.A. Turner","year":"1995","unstructured":"Turner, D.A.: Elementary Strong Functional Programming. In: Hartel, P.H., Plasmeijer, R. (eds.) FPLE 1995. LNCS, vol.\u00a01022, pp. 1\u201313. Springer, Heidelberg (1995)"},{"issue":"8","key":"18_CR17","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","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. Comm. ACM\u00a021(8), 613\u2013641 (1978)","journal-title":"Comm. ACM"},{"key":"18_CR18","unstructured":"Bailes, P.A.: The Programmer as Language Designer (Towards a Unified Theory of Programming and Language Design). In: Proceedings of the 1986 Australian Software Engineering Conference, Canberra, pp. 14\u201318 (1986)"},{"key":"18_CR19","unstructured":"Bailes, P.A., Chorvat, T., Peake, I.: A Formal Basis for the Perception of Programming as a Language Design Activity. In: Proc. 1994 International Conference on Computing and Information, Peterborough (1994)"},{"key":"18_CR20","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-3975(77)90044-5","volume":"5","author":"G.D. Plotkin","year":"1977","unstructured":"Plotkin, G.D.: PCF Considered as a Programming Language. Theoretical Computer Science\u00a05, 223\u2013255 (1977)","journal-title":"Theoretical Computer Science"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Chikofsky, E., Cross II, J.H.: Reverse engineering and design recovery: a taxonomy. IEEE Software, 13\u201317 (January 1990)","DOI":"10.1109\/52.43044"}],"container-title":["Lecture Notes in Computer Science","Formal Methods at the Crossroads. From Panacea to Foundational Support"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40007-3_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T03:33:53Z","timestamp":1552620833000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40007-3_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205272","9783540400073"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40007-3_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}