{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T22:38:49Z","timestamp":1743115129612,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031098260"},{"type":"electronic","value":"9783031098277"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-09827-7_3","type":"book-chapter","created":{"date-parts":[[2022,6,21]],"date-time":"2022-06-21T16:46:47Z","timestamp":1655830007000},"page":"31-47","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Bddl: A Type System for\u00a0Binary Decision Diagrams"],"prefix":"10.1007","author":[{"given":"Yousra","family":"Lembachar","sequence":"first","affiliation":[]},{"given":"Ryan","family":"Rusich","sequence":"additional","affiliation":[]},{"given":"Iulian","family":"Neamtiu","sequence":"additional","affiliation":[]},{"given":"Gianfranco","family":"Ciardo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,6,22]]},"reference":[{"key":"3_CR1","unstructured":"Miner, A., et al.: MEDDLY: multi-terminal and Edge-valued Decision Diagram LibrarY. https:\/\/meddly.sourceforge.io\/"},{"key":"3_CR2","doi-asserted-by":"publisher","unstructured":"Bergman, D., Cire, A.A., van Hoeve, W.J., Hooker, J.: Decision Diagrams for Optimization. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-42849-9","DOI":"10.1007\/978-3-319-42849-9"},{"issue":"4","key":"3_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2905363","volume":"21","author":"A Bernasconi","year":"2016","unstructured":"Bernasconi, A., Ciriani, V.: Index-resilient zero-suppressed bdds: definition and operations. ACM Trans. Des. Autom. Electron. Syst. 21(4), 1\u201327 (2016)","journal-title":"ACM Trans. Des. Autom. Electron. Syst."},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/j.tcs.2015.05.050","volume":"595","author":"A Bernasconi","year":"2015","unstructured":"Bernasconi, A., Ciriani, V., Lago, L.: On the error resilience of ordered binary decision diagrams. Theor. Comput. Sci. 595, 11\u201333 (2015)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"3_CR5","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1109\/12.73590","volume":"40","author":"R Bryant","year":"1991","unstructured":"Bryant, R.: On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication. IEEE Trans. Comput. 40(2), 205\u2013213 (1991)","journal-title":"IEEE Trans. Comput."},{"issue":"1\u20132","key":"3_CR6","first-page":"61","volume":"32","author":"R Drechsler","year":"2002","unstructured":"Drechsler, R.: Verifying integrity of decision diagrams. Integr. 32(1\u20132), 61\u201375 (2002)","journal-title":"Integr."},{"key":"3_CR7","unstructured":"Somenzi, F.: CUDD: CU Decision Diagram Package. https:\/\/github.com\/ivmai\/cudd"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Freeman, T., Pfenning, F.: Refinement types for ML, pp. 268\u2013277. PLDI 1991, Association for Computing Machinery, New York, NY, USA (1991)","DOI":"10.1145\/113446.113468"},{"key":"3_CR9","unstructured":"Ciardo, G., Miner, A.S.: SMART: Stochastic model-checking analyzer for reliability and timing. https:\/\/asminer.github.io\/smart\/"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-642-32759-9_18","volume-title":"FM 2012: Formal Methods","author":"M Giorgino","year":"2012","unstructured":"Giorgino, M., Strecker, M.: Correctness of pointer manipulating algorithms illustrated by a verified BDD construction. In: Giannakopoulou, D., M\u00e9ry, D. (eds.) FM 2012. LNCS, vol. 7436, pp. 202\u2013216. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32759-9_18"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Groen, F., Smidts, C., Mosleh, A., Swaminathan, S.: Qras - the quantitative risk assessment system. In: Annual Reliability and Maintainability Symposium. 2002 Proceedings (Cat. No.02CH37318), pp. 349\u2013355 (2002)","DOI":"10.1109\/RAMS.2002.981666"},{"key":"3_CR12","unstructured":"Whaley, J.: JavaBDD. http:\/\/javabdd.sourceforge.net\/"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Kawaguchi, M., Rondon, P., Jhala, R.: Type-based data structure verification, pp. 304\u2013315. PLDI 2009 (2009)","DOI":"10.1145\/1543135.1542510"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Lembachar, Y., Rusich, R., Neamtiu, I., Ciardo, G.: BDDL: a type system for binary decision diagrams. Technical Report, Department of Computer Science, NJIT, May 2022. https:\/\/web.njit.edu\/~ineamtiu\/pubs\/bddl-tr.pdf","DOI":"10.1007\/978-3-031-09827-7_3"},{"issue":"2","key":"3_CR15","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/s10115-009-0252-9","volume":"24","author":"E Loekito","year":"2010","unstructured":"Loekito, E., Bailey, J., Pei, J.: A binary decision diagram based approach for mining frequent subsequences. Knowl. Inf. Syst. 24(2), 235\u2013268 (2010)","journal-title":"Knowl. Inf. Syst."},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Ortner, V., Schirmer, N.: Verification of BDD normalization. In: Hurd, J., Melham, T. (eds.) Theorem Proving in Higher Order Logics, pp. 261\u2013277 (2005)","DOI":"10.1007\/11541868_17"},{"key":"3_CR17","unstructured":"Ortner, V., Schirmer, N.: Bdd normalisation. Archive of Formal Proofs, Febuary 2008. https:\/\/isa-afp.org\/entries\/BDD.html, Formal proof development"},{"key":"3_CR18","unstructured":"Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Rondon, P.M., Kawaguchi, M., Jhala, R.: Liquid types, pp. 159\u2013169. PLDI 2008, June 2008","DOI":"10.1145\/1379022.1375602"},{"issue":"1","key":"3_CR20","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/s10009-006-0004-z","volume":"9","author":"RI Siminiceanu","year":"2007","unstructured":"Siminiceanu, R.I., Ciardo, G.: Formal verification of the Nasa runway safety monitor. Int. J. Softw. Tools Technol. Transf. 9(1), 63\u201376 (2007)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Stankovi\u0107, S., Astola, J.: Xml framework for various types of decision diagrams for discrete functions. IEICE Trans. 90-D, 1731\u20131740 (2007)","DOI":"10.1093\/ietisy\/e90-d.11.1731"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Whaley, J., Lam, M.S.: Cloning-based context-sensitive pointer alias analysis using binary decision diagrams, PLDI 2004, pp. 131\u2013144 (2004)","DOI":"10.1145\/996893.996859"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Xing, L., Amari, S.V.: Binary Decision Diagrams and Extensions for System Reliability Analysis. Wiley, Hoboken (2015)","DOI":"10.1002\/9781119178026"},{"key":"3_CR24","unstructured":"Yanushkevich, S.N., Miller, D.M., Shmerko, V.P., Stankovic, R.S.: Decision Diagram Techniques for Micro- and Nanoelectronic Design Handbook (2006)"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Yoon, S., De Micheli, G.: An application of zero-suppressed binary decision diagrams to clustering analysis of DNA microarray data, EMBC 2004, pp. 2925\u20132928 (2004)","DOI":"10.1109\/IEMBS.2004.1403831"}],"container-title":["Lecture Notes in Computer Science","Tests and Proofs"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-09827-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,27]],"date-time":"2024-09-27T10:21:05Z","timestamp":1727432465000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-09827-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031098260","9783031098277"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-09827-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"22 June 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TAP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Tests and Proofs","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Nantes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 July 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 July 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tap2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/easychair.org\/smart-program\/TAP22\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"11","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":"6","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":"1","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":"55% - 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","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":"2","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)"}}]}}