{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T03:34:21Z","timestamp":1725680061694},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642297083"},{"type":"electronic","value":"9783642297090"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29709-0_25","type":"book-chapter","created":{"date-parts":[[2012,5,12]],"date-time":"2012-05-12T09:49:34Z","timestamp":1336816174000},"page":"289-301","source":"Crossref","is-referenced-by-count":6,"title":["Partial Evaluation of Janus Part 2: Assertions and Procedures"],"prefix":"10.1007","author":[{"given":"Torben \u00c6gidius","family":"Mogensen","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Abramsky, S.: A structural approach to reversible computation. Oxford University Computing Laboratory (2001) (manuscript)"},{"issue":"4","key":"25_CR2","doi-asserted-by":"publisher","first-page":"766","DOI":"10.1137\/0218053","volume":"18","author":"C.H. Bennett","year":"1989","unstructured":"Bennett, C.H.: Time\/space trade-offs for reversible computation. SIAM Journal on Computing\u00a018(4), 766\u2013776 (1989)","journal-title":"SIAM Journal on Computing"},{"key":"25_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1017","DOI":"10.1007\/3-540-48224-5_82","volume-title":"Automata, Languages and Programming","author":"H. Buhrman","year":"2001","unstructured":"Buhrman, H., Tromp, J., Vit\u00e1nyi, P.: Time and Space Bounds for Reversible Simulation. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol.\u00a02076, pp. 1017\u20131027. Springer, Heidelberg (2001)"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Feynman, R.P.: Reversible computation and the thermodynamics of computing. Feynman Lectures on Computation, ch. 5, pp. 137\u2013184. Addison-Wesley (1996)","DOI":"10.1201\/9780429500442-5"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Hatcliff, J., Mogensen, T.\u00c6., Thiemann, P. (eds.): Partial Evaluation. Practice and Theory. DIKU 1998 International Summer School. LNCS, vol.\u00a01706. Springer, Heidelberg (1999)","DOI":"10.1007\/3-540-47018-2"},{"key":"25_CR6","unstructured":"Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice-Hall (1993)"},{"issue":"3","key":"25_CR7","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1147\/rd.53.0183","volume":"5","author":"R. Landauer","year":"1961","unstructured":"Landauer, R.: Irreversibility and heat generation in the computing process. IBM Journal of Research and Development\u00a05(3), 183\u2013191 (1961)","journal-title":"IBM Journal of Research and Development"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Leuschel, M.: Logic Program Specialisation. In: Hatcliff, J., Mogensen, T.\u00c6., Thiemann, P. (eds.) Partial Evaluation. Practice and Theory. DIKU 1998 International Summer School. LNCS, vol.\u00a01706, pp. 155\u2013188. Springer, Heidelberg (1999)","DOI":"10.1007\/3-540-47018-2_5"},{"key":"25_CR9","unstructured":"Lutz, C.: Janus: a time-reversible language. A letter to Landauer (1986), \n                  \n                    http:\/\/www.cise.uf1.edu\/~mpf\/rc\/janus.html"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Mogensen, T.\u00c6.: Partial evaluation of the reversible language janus. In: submitted to PEPM 2010. ACM Press (2010)","DOI":"10.1145\/1929501.1929506"},{"issue":"3","key":"25_CR11","first-page":"223","volume":"E72","author":"K. Morita","year":"1989","unstructured":"Morita, K., Shirasaki, A., Gono, Y.: A 1-tape 2-symbol reversible turing machine. IEICE Transactions\u00a0E72(3), 223\u2013228 (1989)","journal-title":"IEICE Transactions"},{"key":"25_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1007\/3-540-10003-2_104","volume-title":"Automata, Languages and Programming","author":"T. Toffoli","year":"1980","unstructured":"Toffoli, T.: Reversible Computing. In: de Bakker, J.W., van Leeuwen, J. (eds.) ICALP 1980. LNCS, vol.\u00a085, pp. 632\u2013644. Springer, Heidelberg (1980)"},{"key":"25_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-540-70583-3_22","volume-title":"Automata, Languages and Programming","author":"T. Yokoyama","year":"2008","unstructured":"Yokoyama, T., Axelsen, H.B., Gl\u00fcck, R.: Reversible Flowchart Languages and the Structured Reversible Program Theorem. In: Aceto, L., Damg\u00e5rd, I., Goldberg, L.A., Halld\u00f3rsson, M.M., Ing\u00f3lfsd\u00f3ttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part II. LNCS, vol.\u00a05126, pp. 258\u2013270. Springer, Heidelberg (2008)"},{"key":"25_CR14","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/1366230.1366239","volume-title":"Proceedings of the 5th Conference on Computing Frontiers, CF 2008","author":"T. Yokoyama","year":"2008","unstructured":"Yokoyama, T., Axelsen, H.B., Gl\u00fcck, R.: Principles of a reversible programming language. In: Proceedings of the 5th Conference on Computing Frontiers, CF 2008, pp. 43\u201354. ACM, New York (2008)"},{"key":"25_CR15","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1145\/1244381.1244404","volume-title":"PEPM 2007: Proceedings of the 2007 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation","author":"T. Yokoyama","year":"2007","unstructured":"Yokoyama, T., Gl\u00fcck, R.: A reversible programming language and its invertible self-interpreter. In: PEPM 2007: Proceedings of the 2007 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pp. 144\u2013153. ACM, New York (2007)"}],"container-title":["Lecture Notes in Computer Science","Perspectives of Systems Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29709-0_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:14:23Z","timestamp":1620126863000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29709-0_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642297083","9783642297090"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29709-0_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}