{"id":"https://openalex.org/W6967270745","doi":"https://doi.org/10.5281/zenodo.10418484","title":"Artifact for Paper \"A Modular Soundness Theory for the Blackboard Analysis Architecture\"","display_name":"Artifact for Paper \"A Modular Soundness Theory for the Blackboard Analysis Architecture\"","publication_year":2023,"publication_date":"2023-12-21","ids":{"openalex":"https://openalex.org/W6967270745","doi":"https://doi.org/10.5281/zenodo.10418484"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.10418484","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.10418484","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},"type":"software","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.10418484","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Keidel, Sven","orcid":"https://orcid.org/0000-0002-4278-2181"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Keidel, Sven","raw_affiliation_strings":["Technische Universit\u00e4t Darmstadt"],"raw_orcid":"https://orcid.org/0000-0002-4278-2181","affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Darmstadt","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Helm, Dominik","orcid":"https://orcid.org/0009-0004-6425-8630"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Helm, Dominik","raw_affiliation_strings":["Technische Universit\u00e4t Darmstadt"],"raw_orcid":"https://orcid.org/0009-0004-6425-8630","affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Darmstadt","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Roth, Tobias","orcid":"https://orcid.org/0000-0001-6561-0430"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Roth, Tobias","raw_affiliation_strings":["Technische Universit\u00e4t Darmstadt"],"raw_orcid":"https://orcid.org/0000-0001-6561-0430","affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Darmstadt","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"last","author":{"id":null,"display_name":"Mezini, Mira","orcid":"https://orcid.org/0000-0001-6563-7537"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Mezini, Mira","raw_affiliation_strings":["Technische Universit\u00e4t Darmstadt"],"raw_orcid":"https://orcid.org/0000-0001-6563-7537","affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Darmstadt","institution_ids":["https://openalex.org/I31512782"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I31512782"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.6730999946594238},{"id":"https://openalex.org/keywords/container","display_name":"Container (type theory)","score":0.6460999846458435},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5896999835968018},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.5303000211715698},{"id":"https://openalex.org/keywords/scala","display_name":"Scala","score":0.5085999965667725},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.4555000066757202},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.423799991607666},{"id":"https://openalex.org/keywords/plug-in","display_name":"Plug-in","score":0.4002000093460083}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8284000158309937},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7455999851226807},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.6730999946594238},{"id":"https://openalex.org/C2781018962","wikidata":"https://www.wikidata.org/wiki/Q5164884","display_name":"Container (type theory)","level":2,"score":0.6460999846458435},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5896999835968018},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.5303000211715698},{"id":"https://openalex.org/C109701466","wikidata":"https://www.wikidata.org/wiki/Q460584","display_name":"Scala","level":3,"score":0.5085999965667725},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4555000066757202},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.423799991607666},{"id":"https://openalex.org/C4924752","wikidata":"https://www.wikidata.org/wiki/Q184148","display_name":"Plug-in","level":2,"score":0.4002000093460083},{"id":"https://openalex.org/C154526789","wikidata":"https://www.wikidata.org/wiki/Q157965","display_name":"Object code","level":4,"score":0.35269999504089355},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.35190001130104065},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.34299999475479126},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.3424000144004822},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.33169999718666077},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.33169999718666077},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.32580000162124634},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.3183000087738037},{"id":"https://openalex.org/C85687889","wikidata":"https://www.wikidata.org/wiki/Q445962","display_name":"Legacy code","level":3,"score":0.29980000853538513},{"id":"https://openalex.org/C2780129039","wikidata":"https://www.wikidata.org/wiki/Q1931107","display_name":"Section (typography)","level":2,"score":0.27619999647140503},{"id":"https://openalex.org/C157273737","wikidata":"https://www.wikidata.org/wiki/Q1753023","display_name":"Blackboard system","level":3,"score":0.26809999346733093},{"id":"https://openalex.org/C121957198","wikidata":"https://www.wikidata.org/wiki/Q14365593","display_name":"KPI-driven code analysis","level":5,"score":0.2635999917984009},{"id":"https://openalex.org/C151578736","wikidata":"https://www.wikidata.org/wiki/Q1251793","display_name":"Redundant code","level":4,"score":0.25049999356269836}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.10418484","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.10418484","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Software"}],"best_oa_location":{"id":"doi:10.5281/zenodo.10418484","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.10418484","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Artifact":[0,170,238],"Description":[1],"The":[2,51,66,83,101,124,143,156,171],"artifact":[3,175,289],"contains":[4],"the":[5,9,14,35,54,69,86,104,127,146,159,169,174,189,195,199,210,222,226,229,237,243,252,266,269,273,277,281,288,297,306,316,319,329],"source":[6,45],"code":[7,31,52,67,84,102,125,144,172,267,278,298],"of":[8,53,68,85,103,126,145,158,173,272,276,318],"modules":[10,120],"in":[11,17,26,28,34,63,78,98,110,122,132,151,165,268,280],"section":[12,18,29,321],"2,":[13],"case":[15,160],"studies":[16,161],"5.1":[19,82],"as":[20,22,181],"well":[21],"their":[23],"soundness":[24],"proof":[25],"discussed":[27],"5.2.The":[30],"is":[32,40,179,248,255,261],"written":[33],"Scala":[36,246,253],"3":[37],"language":[38],"and":[39,57,72,92,115,137,176,327],"licensed":[41],"under":[42],"an":[43],"open":[44],"permissive":[46],"BSD-3":[47],"license.":[48],"Section":[49,81,154],"2":[50],"static":[55,87,114],"reaching-definitions":[56,71,93],"control-flow":[58,73],"analysis":[59,74,94,294],"can":[60,75,95,107,129,148,162,185,285,314],"be":[61,76,96,108,130,149,163,186],"found":[62,77,97,109,131,150,164],"file":[64,79,99,111,166],"whilelang/AnalysisModules.scala":[65],"dynamic":[70,105,116,138],"whilelang/DynamicModules.scala":[80],"pointer,":[88],"call-graph,":[89],"reflection,":[90],"immutability,":[91],"objectlang/AnalysisModules.scala":[100],"semantics":[106,117,139],"objectlang/DynamicModules.scala":[112],"Both":[113],"share":[118],"many":[119],"defined":[121],"objectlang/GenericModules.scala":[123],"framework":[128,134],"folder":[133,152],"All":[135],"analyses":[136],"have":[140],"been":[141,300],"tested.":[142],"tests":[147,227],"test/scala/objectlang":[153],"5.2":[155],"proofs":[157],"proofs.pdf":[167],"Running":[168],"its":[177],"dependencies":[178],"packaged":[180],"a":[182,206,245,256,324],"Docker":[183],"Image.Docker":[184],"installed":[187],"following":[188],"instructions":[190],"on":[191],"https://docs.docker.com/get-docker/.":[192],"First,":[193],"load":[194,201],"docker":[196,207,282,307,309,325],"image":[197,211],"containing":[198],"artifact:docker":[200],"--input":[202],"opal-formalization-image.tar":[203],"To":[204,239],"start":[205,323],"container":[208,224,326],"from":[209,220],"rundocker":[212],"run":[213,328],"--interactive":[214],"--tty":[215],"--entrypoint":[216],"/bin/bash":[217],"opal-formalization":[218],"Then":[219],"within":[221],"running":[223],"execute":[225],"with":[228,251,287],"build":[230,310],"tool":[231],"SBT:sbt":[232],"test":[233],"Making":[234],"Changes":[235],"to":[236,242,264,304,322],"make":[240],"changes":[241],"artifact,":[244,274],"IDE":[247],"preferable.":[249],"IntelliJ":[250],"plugin":[254],"good":[257],"choice:":[258],"https://www.jetbrains.com/help/idea/get-started-with-scala.html":[259],"It":[260],"more":[262],"comfortable":[263],"edit":[265],"root":[270],"directory":[271],"instead":[275],"contained":[279],"image.":[283],"You":[284],"experiment":[286],"by":[290],"adding":[291],"or":[292],"changing":[293],"modules.":[295],"Once":[296],"has":[299],"changed,":[301],"you":[302,313],"need":[303],"rebuild":[305],"image:DOCKER_BUILDKIT=1":[308],"--tag=opal-formalization":[311],".Then":[312],"follow":[315],"steps":[317],"previous":[320],"tests.":[330]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2025-10-10T00:00:00"}