{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T05:00:38Z","timestamp":1743138038453,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319208596"},{"type":"electronic","value":"9783319208602"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-20860-2_7","type":"book-chapter","created":{"date-parts":[[2015,6,19]],"date-time":"2015-06-19T08:15:57Z","timestamp":1434701757000},"page":"111-126","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Towards a Domain-Specific Language for Reversible Assembly Sequences"],"prefix":"10.1007","author":[{"given":"Ulrik Pagh","family":"Schultz","sequence":"first","affiliation":[]},{"given":"Johan Sund","family":"Laursen","sequence":"additional","affiliation":[]},{"given":"Lars-Peter","family":"Ellekilde","sequence":"additional","affiliation":[]},{"given":"Holger Bock","family":"Axelsen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,6,20]]},"reference":[{"issue":"1","key":"7_CR1","first-page":"1","volume":"4","author":"A Angerer","year":"2013","unstructured":"Angerer, A., Hoffmann, A., Schierl, A., Vistein, M., Reif, W.: Robotics API: Object-oriented software development for industrial robots. Journal of Software Engineering in Robotics 4(1), 1\u201322 (2013)","journal-title":"Journal of Software Engineering in Robotics"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/978-3-319-11900-7_8","volume-title":"Simulation, Modeling, and Programming for Autonomous Robots","author":"JP Buch","year":"2014","unstructured":"Buch, J.P., Laursen, J.S., S\u00f8rensen, L.C., Ellekilde, L.-P., Kraft, D., Schultz, U.P., Petersen, H.G.: Applying simulation and a domain-specific language for an adaptive action library. In: Brugali, D., Broenink, J.F., Kroeger, T., MacDonald, B.A. (eds.) SIMPAR 2014. LNCS, vol. 8810, pp. 86\u201397. Springer, Heidelberg (2014)"},{"key":"7_CR3","unstructured":"EU Robotics AISBL: Robotics 2020 multi-annual roadmap for robotics in europe (2014)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bi-directional tree transformations: A linguistic approach to the view update problem. ACM Transactions on Programming Languages and Systems 29(3), Article 17 (2007)","DOI":"10.1145\/1232420.1232424"},{"key":"7_CR5","unstructured":"Haegele, M., Skordas, T., Sagert, S., Bischoff, R., Brogardh, T., Dresselhaus, M.: White paper - Industrial Robot Automation (2005). http:\/\/www.euron.org\/miscdocs\/docs\/euron2\/year2\/dr-14-1-industry.pdf"},{"key":"7_CR6","unstructured":"Laursen, J.S., Buch, J.P., S\u00f8rensen, L.C., Kraft, D., Petersen, H.G., Ellekilde, L.P., Schultz, U.P.: Towards Error Handling in a DSL for Robot Assembly Tasks (2014), DSLRob 2014. arXiv:1412.4538"},{"key":"7_CR7","unstructured":"Muhe, H., Angerer, A., Hoffmann, A., Reif, W.: On reverse-engineering the KUKA Robot Language (2010), DSLRob 2010. arXiv:1009.5004"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Savarimuthu, T.R., Liljekrans, D., Ellekilde, L.P., Ude, A., Nemec, B., Kr\u00fcger, N.: Analysis of human peg-in-hole executions in a robotic embodiment using uncertain grasps. In: Robot Motion and Control (RoMoCo 2013), pp. 233\u2013239. IEEE (2013)","DOI":"10.1109\/RoMoCo.2013.6614614"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Schultz, U., Bordignon, M., Stoy, K.: Robust and reversible execution of self-reconfiguration sequences. Robotica 29, 35\u201357 (2011). http:\/\/www.youtube.com\/watch?v=SYizuooEs7s","DOI":"10.1017\/S0263574710000664"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Schultz, U.: Poster: programming language abstractions for self-reconfigurable robots. In: Systems, Programming, and Applications: Software for Humanity (SPLASH 2012), pp. 69\u201370. ACM, New York (2012)","DOI":"10.1145\/2384716.2384743"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-642-36315-3_8","volume-title":"Reversible Computation","author":"UP Schultz","year":"2013","unstructured":"Schultz, U.P.: Towards a general-purpose, reversible language for controlling self-reconfigurable robots. In: Gl\u00fcck, R., Yokoyama, T. (eds.) RC 2012. LNCS, vol. 7581, pp. 97\u2013111. Springer, Heidelberg (2013)"},{"issue":"6","key":"7_CR12","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.entcs.2010.02.005","volume":"253","author":"B Stoddart","year":"2010","unstructured":"Stoddart, B., Lynas, R., Zeyda, F.: A virtual machine for supporting reversible probabilistic guarded command languages. Electronic Notes in Theoretical Computer Science 253(6), 33\u201356 (2010). Reversible Computation (RC 2009)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"1","key":"7_CR13","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1109\/MRA.2007.339623","volume":"14","author":"M Yim","year":"2007","unstructured":"Yim, M., Shen, W.M., Salemi, B., Rus, D., Moll, M., Lipson, H., Klavins, E., Chirikjian, G.S.: Modular Self-Reconfigurable Robot Systems [Grand Challenges of Robotics]. IEEE Robotics and Automation Magazine 14(1), 43\u201352 (2007)","journal-title":"IEEE Robotics and Automation Magazine"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Yokoyama, T., Axelsen, H.B., Gl\u00fcck, R.: Principles of a reversible programming language. In: Computing Frontiers (CF 2008), pp. 43\u201354. ACM, New York (2008)","DOI":"10.1145\/1366230.1366239"},{"issue":"6","key":"7_CR15","doi-asserted-by":"publisher","first-page":"807","DOI":"10.1147\/rd.456.0807","volume":"45","author":"P Zuliani","year":"2001","unstructured":"Zuliani, P.: Logical reversibility. IBM Journal of Research and Development 45(6), 807\u2013818 (2001)","journal-title":"IBM Journal of Research and Development"}],"container-title":["Lecture Notes in Computer Science","Reversible Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-20860-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T18:30:15Z","timestamp":1674239415000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-20860-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319208596","9783319208602"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-20860-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"20 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}