{"id":"https://openalex.org/W3200599048","doi":"https://doi.org/10.4233/uuid:f0312839-3444-41ee-9313-b07b21b59c11","title":"Correct by Construction Language Implementations","display_name":"Correct by Construction Language Implementations","publication_year":2021,"publication_date":"2021-09-20","ids":{"openalex":"https://openalex.org/W3200599048","doi":"https://doi.org/10.4233/uuid:f0312839-3444-41ee-9313-b07b21b59c11","mag":"3200599048"},"language":"en","primary_location":{"id":"pmh:oai:tudelft.nl:uuid:f0312839-3444-41ee-9313-b07b21b59c11","is_oa":true,"landing_page_url":"http://resolver.tudelft.nl/uuid:f0312839-3444-41ee-9313-b07b21b59c11","pdf_url":"http://resolver.tudelft.nl/uuid:f0312839-3444-41ee-9313-b07b21b59c11","source":{"id":"https://openalex.org/S4306400906","display_name":"Research Repository (Delft University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98358874","host_organization_name":"Delft University of Technology","host_organization_lineage":["https://openalex.org/I98358874"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"doctoral thesis"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://resolver.tudelft.nl/uuid:f0312839-3444-41ee-9313-b07b21b59c11","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020051426","display_name":"Arjen Rouvoet","orcid":"https://orcid.org/0000-0002-4789-9995"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Rouvoet, A.J.","raw_affiliation_strings":["Programming Languages"],"affiliations":[{"raw_affiliation_string":"Programming Languages","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5020051426"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":3,"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":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.22750000655651093,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10215","display_name":"Semantic Web and Ontologies","score":0.22750000655651093,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T12031","display_name":"Speech and dialogue systems","score":0.20250000059604645,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.19460000097751617,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/computer-science","display_name":"Computer science","score":0.6343314051628113},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5894719958305359},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5153436064720154},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.36335012316703796},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.3620142936706543}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6343314051628113},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5894719958305359},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5153436064720154},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.36335012316703796},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3620142936706543},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:tudelft.nl:uuid:f0312839-3444-41ee-9313-b07b21b59c11","is_oa":true,"landing_page_url":"http://resolver.tudelft.nl/uuid:f0312839-3444-41ee-9313-b07b21b59c11","pdf_url":"http://resolver.tudelft.nl/uuid:f0312839-3444-41ee-9313-b07b21b59c11","source":{"id":"https://openalex.org/S4306400906","display_name":"Research Repository (Delft University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98358874","host_organization_name":"Delft University of Technology","host_organization_lineage":["https://openalex.org/I98358874"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"doctoral thesis"},{"id":"doi:10.4233/uuid:f0312839-3444-41ee-9313-b07b21b59c11","is_oa":true,"landing_page_url":"https://doi.org/10.4233/uuid:f0312839-3444-41ee-9313-b07b21b59c11","pdf_url":null,"source":{"id":"https://openalex.org/S4306400906","display_name":"Research Repository (Delft University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98358874","host_organization_name":"Delft University of Technology","host_organization_lineage":["https://openalex.org/I98358874"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"thesis"},{"id":"mag:3200599048","is_oa":false,"landing_page_url":"https://research.tudelft.nl/en/publications/correct-by-construction-language-implementations","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:tudelft.nl:uuid:f0312839-3444-41ee-9313-b07b21b59c11","is_oa":true,"landing_page_url":"http://resolver.tudelft.nl/uuid:f0312839-3444-41ee-9313-b07b21b59c11","pdf_url":"http://resolver.tudelft.nl/uuid:f0312839-3444-41ee-9313-b07b21b59c11","source":{"id":"https://openalex.org/S4306400906","display_name":"Research Repository (Delft University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98358874","host_organization_name":"Delft University of Technology","host_organization_lineage":["https://openalex.org/I98358874"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"doctoral thesis"},"sustainable_development_goals":[{"score":0.550000011920929,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W3200599048.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1579319924","https://openalex.org/W102258930","https://openalex.org/W243999411","https://openalex.org/W1985054792","https://openalex.org/W2091815528","https://openalex.org/W981960795","https://openalex.org/W1578946173","https://openalex.org/W1975222168","https://openalex.org/W2983434587","https://openalex.org/W3082750925","https://openalex.org/W1523813310","https://openalex.org/W2415907664","https://openalex.org/W2490496462","https://openalex.org/W2083283827","https://openalex.org/W2975343925","https://openalex.org/W2026973238","https://openalex.org/W2096338149","https://openalex.org/W1607469218","https://openalex.org/W3193557006","https://openalex.org/W2103022887"],"abstract_inverted_index":{"Programming":[0],"language":[1,29,76,98,118,152],"implementations":[2,30,213],"bridge":[3],"the":[4,8,16,24,50,58,61,64,80,83,90,94,97,108,151,155,160,180,183,196,220,223,235],"gap":[5],"between":[6,57,93],"what":[7,15],"program":[9,109,135,225,244],"developer":[10],"sees":[11],"and":[12,14,66,82,96,141,170,190],"understands,":[13],"computer":[17],"executes.":[18],"Hence,":[19],"it":[20,124],"is":[21,37,110,226],"crucial":[22],"for":[23,212],"reliability":[25],"of":[26,34,60,63,134,150,182,195,214,222],"software":[27],"that":[28,147,174,219,230],"are":[31,175,210],"correct.":[32],"Correctness":[33],"an":[35],"implementation":[36,153,162],"judged":[38],"with":[39],"respect":[40],"to":[41,69,122,130,142,158,167,179,193,237],"a":[42,55,74,117,132,138,144,227],"criterion.":[43],"In":[44],"this":[45],"thesis,":[46],"we":[47,120,128],"focus":[48],"on":[49],"criterion":[51,65],"type":[52,91,102,114,188],"correctness,":[53],"striking":[54],"balance":[56],"difficulty":[59],"assessment":[62],"its":[67],"usefulness":[68],"rule":[70],"out":[71],"errors":[72,103,240],"throughout":[73,116],"programming":[75,216],"implementation.":[77],"If":[78],"both":[79],"front-":[81],"back-end":[84],"fulfill":[85],"their":[86],"role":[87],"in":[88,137],"maintaining":[89],"contract":[92],"programmer":[95,236],"implementation,":[99,119],"then":[100],"unexpected":[101],"will":[104],"not":[105],"occur":[106],"when":[107,204],"executed.":[111],"To":[112],"verify":[113],"correctness":[115],"want":[121],"establish":[123],"formally.":[125],"That":[126],"is,":[127],"aim":[129],"give":[131,143],"specification":[133,181],"typing":[136,221],"formal":[139,248],"language,":[140],"mathematical":[145],"proof":[146],"every":[148],"part":[149],"satisfies":[154],"necessary":[156],"property":[157],"make":[159],"whole":[161],"type-correct.":[163],"Type":[164],"checkers":[165],"ought":[166],"be":[168,187,232],"sound":[169],"only":[171],"accept":[172],"programs":[173],"indeed":[176],"typeable":[177],"according":[178],"language.":[184],"Interpreters":[185],"should":[186,201],"safe,":[189],"reduce":[191],"expressions":[192],"values":[194],"same":[197],"type.":[198],"Program":[199],"compilers":[200],"preserve":[202],"well-typing":[203],"they":[205],"transform":[206],"programs.":[207],"These":[208],"properties":[209],"essential":[211],"typed":[215],"languages,":[217],"ensuring":[218],"source":[224],"meaningful":[228],"notion":[229],"can":[231],"trusted":[233],"by":[234],"prevent":[238],"certain":[239],"from":[241],"occurring":[242],"during":[243],"execution.":[245],"A":[246],"conventional":[247],"type-":[249]},"counts_by_year":[{"year":2024,"cited_by_count":3}],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}