{"id":"https://openalex.org/W6966946473","doi":"https://doi.org/10.4230/darts.11.2.13","title":"Incremental Computing by Differential Execution (Artifact)","display_name":"Incremental Computing by Differential Execution (Artifact)","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W6966946473","doi":"https://doi.org/10.4230/darts.11.2.13"},"language":"en","primary_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:23356","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/DARTS.11.2.13","pdf_url":"https://drops.dagstuhl.de/storage/05darts/darts-vol011/darts-vol011-issue002_ecoop2025/DARTS.11.2.13/DARTS.11.2.13.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"publishedVersion"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://drops.dagstuhl.de/storage/05darts/darts-vol011/darts-vol011-issue002_ecoop2025/DARTS.11.2.13/DARTS.11.2.13.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Kumar, Prashant","orcid":"https://orcid.org/0000-0002-3452-2558"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kumar, Prashant","raw_affiliation_strings":["JGU Mainz, Germany"],"raw_orcid":"https://orcid.org/0000-0002-3452-2558","affiliations":[{"raw_affiliation_string":"JGU Mainz, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":null,"display_name":"Pacak, Andr\u00e9","orcid":"https://orcid.org/0000-0001-7441-6955"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pacak, Andr\u00e9","raw_affiliation_strings":["JGU Mainz, Germany"],"raw_orcid":"https://orcid.org/0000-0001-7441-6955","affiliations":[{"raw_affiliation_string":"JGU Mainz, Germany","institution_ids":[]}]},{"author_position":"last","author":{"id":null,"display_name":"Erdweg, Sebastian","orcid":"https://orcid.org/0000-0002-1974-5956"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Erdweg, Sebastian","raw_affiliation_strings":["JGU Mainz, Germany"],"raw_orcid":"https://orcid.org/0000-0002-1974-5956","affiliations":[{"raw_affiliation_string":"JGU Mainz, Germany","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.48551093,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"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":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.1931000053882599,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.1931000053882599,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.18970000743865967,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.1688999980688095,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.6420999765396118},{"id":"https://openalex.org/keywords/differential","display_name":"Differential (mechanical device)","score":0.6193000078201294},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5910000205039978},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5242000222206116},{"id":"https://openalex.org/keywords/interpreter","display_name":"Interpreter","score":0.4138999879360199},{"id":"https://openalex.org/keywords/lazy-evaluation","display_name":"Lazy evaluation","score":0.37470000982284546},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3176000118255615}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7785000205039978},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.6420999765396118},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.6193000078201294},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5985999703407288},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5910000205039978},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5242000222206116},{"id":"https://openalex.org/C122783720","wikidata":"https://www.wikidata.org/wiki/Q183065","display_name":"Interpreter","level":2,"score":0.4138999879360199},{"id":"https://openalex.org/C128099668","wikidata":"https://www.wikidata.org/wiki/Q573952","display_name":"Lazy evaluation","level":3,"score":0.37470000982284546},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34220001101493835},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34150001406669617},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3176000118255615},{"id":"https://openalex.org/C2780129039","wikidata":"https://www.wikidata.org/wiki/Q1931107","display_name":"Section (typography)","level":2,"score":0.30889999866485596},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.28349998593330383},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.2784999907016754},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2718000113964081},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.2632000148296356},{"id":"https://openalex.org/C2780615836","wikidata":"https://www.wikidata.org/wiki/Q2471869","display_name":"USable","level":2,"score":0.2597000002861023},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.257999986410141},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.25769999623298645}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:drops-oai.dagstuhl.de:23356","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/DARTS.11.2.13","pdf_url":"https://drops.dagstuhl.de/storage/05darts/darts-vol011/darts-vol011-issue002_ecoop2025/DARTS.11.2.13/DARTS.11.2.13.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"publishedVersion"},{"id":"doi:10.4230/darts.11.2.13","is_oa":true,"landing_page_url":"https://doi.org/10.4230/darts.11.2.13","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":""}],"best_oa_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:23356","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/DARTS.11.2.13","pdf_url":"https://drops.dagstuhl.de/storage/05darts/darts-vol011/darts-vol011-issue002_ecoop2025/DARTS.11.2.13/DARTS.11.2.13.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"publishedVersion"},"sustainable_development_goals":[{"score":0.4981701970100403,"id":"https://metadata.un.org/sdg/5","display_name":"Gender equality"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W6966946473.pdf","grobid_xml":"https://content.openalex.org/works/W6966946473.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"artifact":[1,44],"supports":[2],"the":[3,23,30,38,46,51,77],"paper":[4],"titled":[5],"\"Incremental":[6],"Computing":[7],"by":[8],"Differential":[9],"Execution\"":[10],"accepted":[11],"at":[12],"ECOOP":[13],"2025.":[14],"It":[15],"provides":[16],"a":[17,34],"mechanized":[18],"formalization":[19],"in":[20,29,41,54,76],"Rocq":[21],"of":[22,37,66,72],"differential":[24,39],"semantics":[25],"and":[26,68],"optimizations":[27],"presented":[28],"paper,":[31],"along":[32],"with":[33],"reference":[35],"implementation":[36],"interpreter":[40],"Scala.":[42],"The":[43],"includes":[45],"Bellman-Ford":[47],"benchmark":[48],"used":[49],"for":[50,64],"performance":[52],"evaluation":[53],"Section":[55],"7.":[56],"Both":[57],"components":[58],"are":[59],"packaged":[60],"as":[61],"Docker":[62],"images":[63],"ease":[65],"use":[67],"reproducibility,":[69],"enabling":[70],"verification":[71],"all":[73],"claims":[74],"made":[75],"paper.":[78]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}