{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:28Z","timestamp":1740099088863,"version":"3.37.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319933160"},{"type":"electronic","value":"9783319933177"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-93317-7_1","type":"book-chapter","created":{"date-parts":[[2018,5,31]],"date-time":"2018-05-31T07:41:53Z","timestamp":1527752513000},"page":"3-55","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["The Design, Evolution, and Use of KernelF"],"prefix":"10.1007","author":[{"given":"Markus","family":"Voelter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,1]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","unstructured":"Amani, S., B\u00e9gel, M., Bortin, M., Staples, M.: Towards verifying Ethereum smart contract bytecode in Isabelle\/HOL. In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, 8\u20139 January 2018, Los Angeles, CA, USA, pp. 66\u201377 (2018). https:\/\/doi.org\/10.1145\/3167084","DOI":"10.1145\/3167084"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Berger, T., V\u00f6lter, M., Jensen, H.P., Dangprasert, T., Siegmund, J.: Efficiency of projectional editing: a controlled experiment. In: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 763\u2013774. ACM (2016)","DOI":"10.1145\/2950290.2950315"},{"key":"1_CR3","unstructured":"Booth, S.P., Jones, S.B.: Walk backwards to happiness: debugging by time travel. In: Proceedings of the 3rd International Workshop on Automatic Debugging (AADEBUG 1997), no. 001, pp. 171\u2013184. Link\u00f6ping University Electronic Press (1997)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Bousse, E., Degueule, T., Vojtisek, D., Mayerhofer, T., Deantoni, J., Combemale, B.: Execution framework of the GEMOC studio (tool demo). In: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, pp. 84\u201389. ACM (2016)","DOI":"10.1145\/2997364.2997384"},{"issue":"1","key":"1_CR5","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/1327452.1327492","volume":"51","author":"J Dean","year":"2008","unstructured":"Dean, J., Ghemawat, S.: MapReduce: simplified data processing on large clusters. Commun. ACM 51(1), 107\u2013113 (2008)","journal-title":"Commun. ACM"},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1109\/TSE.1976.233534","volume":"2","author":"F DeRemer","year":"1976","unstructured":"DeRemer, F., Kron, H.H.: Programming-in-the-large versus programming-in-the-small. IEEE Trans. Softw. Eng. 2, 80\u201386 (1976)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/3-540-45748-8_24","volume-title":"Peer-to-Peer Systems","author":"JR Douceur","year":"2002","unstructured":"Douceur, J.R.: The sybil attack. In: Druschel, P., Kaashoek, F., Rowstron, A. (eds.) IPTPS 2002. LNCS, vol. 2429, pp. 251\u2013260. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45748-8_24"},{"key":"1_CR8","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1145\/2480361.2371419","volume":"48","author":"S Efftinge","year":"2012","unstructured":"Efftinge, S., Eysholdt, M., K\u00f6hnlein, J., Zarnekow, S., von Massow, R., Hasselbring, W., Hanus, M.: Xbase: implementing domain-specific languages for Java. ACM SIGPLAN Not. 48, 112\u2013121 (2012)","journal-title":"ACM SIGPLAN Not."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Erdweg, S., Giarrusso, P.G., Rendel, T.: Language composition untangled. In: Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications, p. 7. ACM (2012)","DOI":"10.1145\/2427048.2427055"},{"key":"1_CR10","unstructured":"Fowler, M.: Language workbenches: the killer-app for domain specific languages (2005)"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Frantz, C.K., Nowostawski, M.: From institutions to code: towards automated generation of smart contracts. In: IEEE International Workshops on Foundations and Applications of Self* Systems, pp. 210\u2013215. IEEE (2016)","DOI":"10.1109\/FAS-W.2016.53"},{"key":"1_CR12","volume-title":"A Primer in Game Theory","author":"R Gibbons","year":"1992","unstructured":"Gibbons, R.: A Primer in Game Theory. Harvester Wheatsheaf, Bushey (1992)"},{"key":"1_CR13","volume-title":"Patterns for Fault Tolerant Software","author":"R Hanmer","year":"2013","unstructured":"Hanmer, R.: Patterns for Fault Tolerant Software. Wiley, Chichester (2013)"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Hickey, R.: The Clojure programming language. In: Proceedings of the 2008 Symposium on Dynamic Languages, p. 1. ACM (2008)","DOI":"10.1145\/1408681.1408682"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"520","DOI":"10.1007\/978-3-319-70278-0_33","volume-title":"Financial Cryptography and Data Security","author":"Y Hirai","year":"2017","unstructured":"Hirai, Y.: Defining the Ethereum virtual machine for interactive theorem provers. In: Brenner, M., et al. (eds.) FC 2017. LNCS, vol. 10323, pp. 520\u2013535. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-70278-0_33"},{"issue":"1","key":"1_CR16","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/69.755613","volume":"11","author":"CS Jensen","year":"1999","unstructured":"Jensen, C.S., Snodgrass, R.T.: Temporal data management. IEEE Trans. Knowl. Data Eng. 11(1), 36\u201344 (1999)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"5","key":"1_CR17","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1109\/TSE.2010.62","volume":"37","author":"Y Jia","year":"2011","unstructured":"Jia, Y., Harman, M.: An analysis and survey of the development of mutation testing. IEEE Trans. Softw. Eng. 37(5), 649\u2013678 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Korpela, K., Hallikas, J., Dahlberg, T.: Digital supply chain transformation toward blockchain integration. In: Proceedings of the 50th Hawaii International Conference on System Sciences (2017)","DOI":"10.24251\/HICSS.2017.506"},{"issue":"7","key":"1_CR19","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1109\/2.774920","volume":"32","author":"P Narasimban","year":"1999","unstructured":"Narasimban, P., Moser, L.E., Melliar-Smith, P.M.: Using interceptors to enhance CORBA. Computer 32(7), 62\u201368 (1999)","journal-title":"Computer"},{"key":"1_CR20","unstructured":"Odersky, M., Altherr, P. Cremet, V., Emir, B., Maneth, S., Micheloud, S., Mihaylov, N., Schinz, M., Stenman, E., Zenger, M.: An overview of the Scala programming language. Technical report (2004)"},{"key":"1_CR21","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-3-319-42448-4_13","volume-title":"Banking Beyond Banks and Money","author":"GW Peters","year":"2016","unstructured":"Peters, G.W., Panayi, E.: Understanding modern banking ledgers through blockchain technologies: future of transaction processing and smart contracts on the internet of money. In: Tasca, P., Aste, T., Pelizzon, L., Perony, N. (eds.) Banking Beyond Banks and Money, pp. 239\u2013278. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-42448-4_13"},{"key":"1_CR22","volume-title":"Blockchain Revolution: How the Technology Behind Bitcoin is Changing Money, Business, and the World","author":"D Tapscott","year":"2016","unstructured":"Tapscott, D., Tapscott, A.: Blockchain Revolution: How the Technology Behind Bitcoin is Changing Money, Business, and the World. Penguin, Toronto (2016)"},{"key":"1_CR23","unstructured":"Voelter, M.: A smart contract development stack. Posted 6 December 2017"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-642-35992-7_11","volume-title":"Generative and Transformational Techniques in Software Engineering IV","author":"M Voelter","year":"2013","unstructured":"Voelter, M.: Language and IDE modularization and composition with MPS. In: L\u00e4mmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2011. LNCS, vol. 7680, pp. 383\u2013430. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35992-7_11"},{"key":"1_CR25","unstructured":"Voelter, M.: The kernelF reference (2018)"},{"key":"1_CR26","unstructured":"Voelter, M.: Language development with MPS - a quick overview (2018)"},{"issue":"10","key":"1_CR27","doi-asserted-by":"publisher","first-page":"655","DOI":"10.1145\/2858965.2814276","volume":"50","author":"Markus Voelter","year":"2015","unstructured":"Voelter, M., vand Deursen, A., Kolb, B., Eberle, S.: Using C language extensions for developing embedded software: a case study. In: Proceedings of OOPSLA 2015, pp. 655\u2013674. ACM (2015)","journal-title":"ACM SIGPLAN Notices"},{"key":"1_CR28","doi-asserted-by":"publisher","unstructured":"Voelter, M., Kolb, B., Szab\u00f3, T., Ratiu, D., van Deursen, A.: Lessons learned from developing mbeddr: a case study in language engineering with MPS. Softw. Syst. Model. (2017). https:\/\/doi.org\/10.1007\/s10270-016-0575-4","DOI":"10.1007\/s10270-016-0575-4"},{"key":"1_CR29","unstructured":"Voelter, M., Lisson, S.: Supporting diverse notations in MPS\u2019 projectional editor. In: GEMOC Workshop (2014)"},{"issue":"3","key":"1_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10515-013-0120-4","volume":"20","author":"M Voelter","year":"2013","unstructured":"Voelter, M., Ratiu, D., Kolb, B., Schaetz, B.: mbeddr: instantiating a language workbench in the embedded software domain. Autom. Softw. Eng. 20(3), 1\u201352 (2013)","journal-title":"Autom. Softw. Eng."},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Voelter, M. Szab\u00f3, T., Lisson, S., Kolb, B., Erdweg, S., Berger, T.: Efficient development of consistent projectional editors using grammar cells. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, pp. 28\u201340. ACM (2016)","DOI":"10.1145\/2997364.2997365"},{"key":"1_CR32","first-page":"1","volume":"151","author":"G Wood","year":"2014","unstructured":"Wood, G.: Ethereum: a secure decentralised generalised transaction ledger. Ethereum Proj. Yellow Pap. 151, 1\u201332 (2014)","journal-title":"Ethereum Proj. Yellow Pap."}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-93317-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,2]],"date-time":"2020-11-02T22:24:54Z","timestamp":1604355894000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-93317-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319933160","9783319933177"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-93317-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}