{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:21:00Z","timestamp":1725456060498},"publisher-location":"Berlin\/Heidelberg","reference-count":10,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354054576X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0018270","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:53:51Z","timestamp":1132646031000},"page":"77-99","source":"Crossref","is-referenced-by-count":1,"title":["Deductive program development: Evaluation in reverse Polish notation as an example"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Berghammer R., Ehler H., Zierer H.: Towards an algebraic specification of code generation. Report TUM-18707, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen (1987)"},{"key":"5_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05656-1","volume-title":"Algorithmische Sprache und Programmentwicklung","author":"F. L. Bauer","year":"1981","unstructured":"Bauer F. L., W\u00f6ssner H.: Algorithmische Sprache und Programmentwicklung. Springer: Berlin-Heidelberg-New York (1981). English translation: Algorithmic language and program development. Springer: Berlin-Heidelberg-New York (1982)"},{"key":"5_CR3","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/0020-0190(87)90227-4","volume":"25","author":"M. Broy","year":"1987","unstructured":"Broy M.: Predicative specification for functional programs describing communicating networks. Information Processing Letters 25, 1987, 93\u2013101","journal-title":"Information Processing Letters"},{"key":"5_CR4","unstructured":"Geser A., Hu\u00dfmann H.: Rapid prototyping for algebraic specifications \u2014 Examples of the use of the RAP system. Report MIP-8517, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau (1985)"},{"key":"5_CR5","unstructured":"George Ch.: Practical aspects of development. RAISE Document, STC 1988"},{"key":"5_CR6","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1007\/3-540-15984-3_328","volume":"204","author":"H. Hu\u00dfmann","year":"1985","unstructured":"Hu\u00dfmann H.: Unification in conditional-equational theories. Proc. EUROCAL '85, Springer LNCS 204 543\u2013553 (1985). Also: Report MIP-8502, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau (1985)","journal-title":"Proc. EUROCAL '85, Springer LNCS"},{"issue":"2","key":"5_CR7","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1145\/69610.357988","volume":"27","author":"E.C.R. Hehner","year":"1984","unstructured":"Hehner E.C.R.: Predicative specification Part I+II. CACM 27:2 (1984) 134\u2013151","journal-title":"CACM"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"McCarthy J., Painter J.: Correctness of a compiler for arithmetic expressions. In: Schwartz J.T. (ed.): Mathematical aspects of computer science. Proc. of symposia in applied mathematics 19, 33\u201341 (1967)","DOI":"10.1090\/psapm\/019\/0242403"},{"key":"5_CR9","first-page":"176","volume":"1","author":"K. Samelson","year":"1959","unstructured":"Samelson K., Bauer F. L.: Sequentielle Formel\u00fcbersetzung. Elektronische Rechenanlagen 1, 176\u2013182 (1959). English translation: Sequential formula translation. CACM 3, 76\u201383 (1960)","journal-title":"Elektronische Rechenanlagen"},{"key":"5_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00264293","volume":"20","author":"M. Wirsing","year":"1983","unstructured":"Wirsing M., Pepper P., Partsch H., Dosch W., Broy M.: On hierarchies of abstract data types. Acta Informatica 20, 1983, 1\u201333","journal-title":"Acta Informatica"}],"container-title":["Lecture Notes in Computer Science","Methods of Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018270.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:40:52Z","timestamp":1607550052000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018270"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354054576X"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0018270","relation":{},"subject":[]}}