{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:36:16Z","timestamp":1757543776734,"version":"3.40.3"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030544546"},{"type":"electronic","value":"9783030544553"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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":[[2020]]},"DOI":"10.1007\/978-3-030-54455-3_42","type":"book-chapter","created":{"date-parts":[[2020,8,6]],"date-time":"2020-08-06T12:07:37Z","timestamp":1596715657000},"page":"599-619","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A Formally Verified Static Analysis Framework for Compositional Contracts"],"prefix":"10.1007","author":[{"given":"Fritz","family":"Henglein","sequence":"first","affiliation":[]},{"given":"Christian Kj\u00e6r","family":"Larsen","sequence":"additional","affiliation":[]},{"given":"Agata","family":"Murawska","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,8,7]]},"reference":[{"key":"42_CR1","doi-asserted-by":"crossref","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, pp. 66\u201377. ACM (2018)","DOI":"10.1145\/3167084"},{"key":"42_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-662-45234-9_6","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"J Andersen","year":"2014","unstructured":"Andersen, J., Bahr, P., Henglein, F., Hvitved, T.: Domain-specific languages for enterprise systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8802, pp. 73\u201395. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45234-9_6"},{"key":"42_CR3","unstructured":"Andersen, J., Elsborg, E., Henglein, F., Simonsen, J.G., Stefansen, C.: Compositional specification of commercial contracts. In: ISoLA (Preliminary Proceedings), 30 October 2004, pp. 103\u2013110 (2004)"},{"issue":"6","key":"42_CR4","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/s10009-006-0010-1","volume":"8","author":"J Andersen","year":"2006","unstructured":"Andersen, J., Elsborg, E., Henglein, F., Simonsen, J.G., Stefansen, C.: Compositional specification of commercial contracts. STTT 8(6), 485\u2013516 (2006). https:\/\/doi.org\/10.1007\/s10009-006-0010-1","journal-title":"STTT"},{"key":"42_CR5","doi-asserted-by":"crossref","unstructured":"Annenkov, D., Elsman, M.: Certified compilation of financial contracts. In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, pp. 5:1\u20135:13. ACM, New York (2018)","DOI":"10.1145\/3236950.3236955"},{"key":"42_CR6","doi-asserted-by":"crossref","unstructured":"Annenkov, D., Nielsen, J.B., Spitters, B.: Towards a smart contract verification framework in Coq. In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Proofs and Programs (CPP) (2020)","DOI":"10.1145\/3372885.3373829"},{"key":"42_CR7","doi-asserted-by":"crossref","unstructured":"Bahr, P., Berthold, J., Elsman, M.: Certified symbolic management of financial multi-party contracts. In: Proceedings of the ACM International Conference on Functional Programming (ICFP), August 2015. SIGPLAN Not. 50(9), 315\u2013327","DOI":"10.1145\/2858949.2784747"},{"key":"42_CR8","unstructured":"Bartoletti, M., Zunino, R.: Verifying liquidity of bitcoin contracts. Cryptology ePrint Archive, Report 2018\/1125 (2018). https:\/\/eprint.iacr.org\/2018\/1125"},{"issue":"2","key":"42_CR9","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/s10817-011-9219-0","volume":"49","author":"N Benton","year":"2012","unstructured":"Benton, N., Hur, C.-K., Kennedy, A.J., McBride, C.: Strongly typed term representations in Coq. J. Autom. Reason. 49(2), 141\u2013159 (2012). https:\/\/doi.org\/10.1007\/s10817-011-9219-0","journal-title":"J. Autom. Reason."},{"key":"42_CR10","doi-asserted-by":"crossref","unstructured":"Bhargavan, K., et al.: Formal verification of smart contracts. In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security-PLAS 2016, pp. 91\u201396 (2016)","DOI":"10.1145\/2993600.2993611"},{"key":"42_CR11","doi-asserted-by":"crossref","unstructured":"Chatterjee, K., Goharshady, A.K., Velner, Y.: Quantitative analysis of smart contracts. CoRR, abs\/1801.03367 (2018)","DOI":"10.1007\/978-3-319-89884-1_26"},{"key":"42_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/978-3-030-03427-6_30","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice","author":"X Chen","year":"2018","unstructured":"Chen, X., Park, D., Ro\u015fu, G.: A language-independent approach to smart contract verification. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11247, pp. 405\u2013413. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03427-6_30"},{"key":"42_CR13","unstructured":"DAML: Digital Asset Modelling Language. https:\/\/daml.com\/"},{"key":"42_CR14","unstructured":"Deon Digital: CSL Language Guide. https:\/\/deondigital.com\/docs\/v0.39.0\/"},{"issue":"6","key":"42_CR15","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1007\/s12599-017-0507-z","volume":"59","author":"B Egelund-M\u00fcller","year":"2017","unstructured":"Egelund-M\u00fcller, B., Elsman, M., Henglein, F., Ross, O.: Automated execution of financial contracts on blockchains. Bus. Inf. Syst. Eng. 59(6), 457\u2013467 (2017). https:\/\/doi.org\/10.1007\/s12599-017-0507-z","journal-title":"Bus. Inf. Syst. Eng."},{"key":"42_CR16","unstructured":"Harz, D., Knottenbelt, W.J.: Towards safer smart contracts: a survey of languages and verification methods. CoRR, abs\/1809.09805 (2018)"},{"key":"42_CR17","unstructured":"Henglein, F.: Smart digital contracts: algebraic foundations for resource accounting. Oregon Programming Languages Summer School (OPLSS), Smart Digital Contracts, Lecture 2, June 2019"},{"key":"42_CR18","doi-asserted-by":"crossref","unstructured":"Henglein, F.: Smart digital contracts: contract specification and life-cycle management. Oregon Programming Languages Summer School (OPLSS), Smart Digital Contracts, Lecture 3, June 2019","DOI":"10.1017\/9781108592239.001"},{"key":"42_CR19","unstructured":"Henglein, F.: Smart digital contracts: introduction. Oregon Programming Languages Summer School (OPLSS), Smart Digital Contracts, Lecture 1, June 2019"},{"issue":"5","key":"42_CR20","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1016\/j.jlap.2008.08.007","volume":"78","author":"F Henglein","year":"2009","unstructured":"Henglein, F., Larsen, K.F., Simonsen, J.G., Stefansen, C.: POETS: process-oriented event-driven transaction systems. J. Log. Algebraic Program. 78(5), 381\u2013401 (2009)","journal-title":"J. Log. Algebraic Program."},{"key":"42_CR21","unstructured":"Henriksen, T., Serup, N., Elsman, M., Henglein, F., Oancea, C.: Futhark: purely functional GPU-programming with nested parallelism and in-place array updates. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Barcelona, Spain, June 2017, pp. 556\u2013571. ACM (2017). HIPEAC Best Paper Award"},{"key":"42_CR22","doi-asserted-by":"crossref","unstructured":"Hildenbrandt, E., et al.: KEVM: a complete semantics of the ethereum virtual machine. In: Proceedings of the 31st IEEE Computer Security Foundations Symposium (CSF) (2018)","DOI":"10.1109\/CSF.2018.00022"},{"key":"42_CR23","unstructured":"Hvitved, T.: A survey of formal languages for contracts. In: Fourth Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS 2010), pp. 29\u201332 (2010)"},{"issue":"2","key":"42_CR24","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1016\/j.jlap.2011.04.010","volume":"81","author":"T Hvitved","year":"2012","unstructured":"Hvitved, T., Klaedtke, F., Z\u0103linescu, E.: A trace-based model for multiparty contracts. J. Log. Algebraic Program. 81(2), 72\u201398 (2012)","journal-title":"J. Log. Algebraic Program."},{"issue":"7","key":"42_CR25","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1145\/359131.359136","volume":"22","author":"R Kowalski","year":"1979","unstructured":"Kowalski, R.: Algorithm = logic + control. Commun. ACM 22(7), 424\u2013436 (1979)","journal-title":"Commun. ACM"},{"key":"42_CR26","unstructured":"Larsen, C.K.: Declarative contracts. Mechanized semantics and analysis. Master\u2019s thesis, University of Copenhagen, Denmark (2019). https:\/\/ckjaer.dk\/files\/thesis.pdf"},{"key":"42_CR27","doi-asserted-by":"crossref","unstructured":"Luu, L., Chu, D.-H., Olickel, H., Saxena, P., Hobor, A.: Making smart contracts smarter. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, CCS 2016, pp. 254\u2013269. ACM, New York (2016)","DOI":"10.1145\/2976749.2978309"},{"issue":"3","key":"42_CR28","first-page":"554","volume":"LVII","author":"WE McCarthy","year":"1982","unstructured":"McCarthy, W.E.: The REA accounting model: a generalized framework for accounting systems in a shared data environment. Account. Rev. LVII(3), 554\u2013578 (1982)","journal-title":"Account. Rev."},{"key":"42_CR29","doi-asserted-by":"crossref","unstructured":"Nielsen, J.B., Spitters, B.: Smart contract interactions in Coq. arXiv preprint arXiv:1911.04732 (2019)","DOI":"10.1007\/978-3-030-54994-7_29"},{"key":"42_CR30","doi-asserted-by":"crossref","unstructured":"Nikolic, I., Kolluri, A., Sergey, I., Saxena, P., Hobor, A.: Finding the greedy, prodigal, and suicidal contracts at scale. arXiv:1802.06038v1 [cs.CR], arXiv, February 2018","DOI":"10.1145\/3274694.3274743"},{"issue":"9","key":"42_CR31","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1145\/357766.351267","volume":"35","author":"S Peyton Jones","year":"2000","unstructured":"Peyton Jones, S., Eber, J.-M., Seward, J.: Composing contracts: an adventure in financial engineering (functional pearl). SIGPLAN Not. 35(9), 280\u2013292 (2000)","journal-title":"SIGPLAN Not."},{"key":"42_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-60360-3_28","volume-title":"Static Analysis","author":"DA Schmidt","year":"1995","unstructured":"Schmidt, D.A.: Natural-semantics-based abstract interpretation (preliminary version). In: Mycroft, A. (ed.) SAS 1995. LNCS, vol. 983, pp. 1\u201318. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/3-540-60360-3_28"},{"key":"42_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/978-3-030-03427-6_27","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice","author":"P Lamela Seijas","year":"2018","unstructured":"Lamela Seijas, P., Thompson, S.: Marlowe: financial contracts on blockchain. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11247, pp. 356\u2013375. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03427-6_27"}],"container-title":["Lecture Notes in Computer Science","Financial Cryptography and Data Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-54455-3_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,5]],"date-time":"2022-11-05T23:51:15Z","timestamp":1667692275000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-54455-3_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030544546","9783030544553"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-54455-3_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"7 August 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Financial Cryptography and Data Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kota Kinabalu","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Malaysia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 February 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 February 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fc2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/fc20.ifca.ai\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"HotCRP","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"162","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"34","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"21% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.6","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"8.1","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}