{"id":"https://openalex.org/W2154295223","doi":"https://doi.org/10.1109/robot.2004.1308784","title":"\"May you have a strong (-typed) foundation\" why strong-typed programming languages do matter","display_name":"\"May you have a strong (-typed) foundation\" why strong-typed programming languages do matter","publication_year":2004,"publication_date":"2004-01-01","ids":{"openalex":"https://openalex.org/W2154295223","doi":"https://doi.org/10.1109/robot.2004.1308784","mag":"2154295223"},"language":"en","primary_location":{"id":"doi:10.1109/robot.2004.1308784","is_oa":false,"landing_page_url":"https://doi.org/10.1109/robot.2004.1308784","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://infoscience.epfl.ch/handle/20.500.14299/237675","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110915163","display_name":"N. Tomatis","orcid":null},"institutions":[{"id":"https://openalex.org/I4210153396","display_name":"BlueBotics (Switzerland)","ror":"https://ror.org/044dw4g52","country_code":"CH","type":"company","lineage":["https://openalex.org/I4210153396"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"N. Tomatis","raw_affiliation_strings":["BlueBotics SA, PSE-C, Lausanne"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"BlueBotics SA, PSE-C, Lausanne","institution_ids":["https://openalex.org/I4210153396"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068869181","display_name":"R. Brega","orcid":null},"institutions":[{"id":"https://openalex.org/I131328143","display_name":"Union Bank of Switzerland","ror":"https://ror.org/01ekk8h85","country_code":"CH","type":"funder","lineage":["https://openalex.org/I131328143"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"R. Brega","raw_affiliation_strings":["LogObject AG, Zurich, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LogObject AG, Zurich, Switzerland","institution_ids":["https://openalex.org/I131328143"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044913943","display_name":"G. Rivera","orcid":null},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"G. Rivera","raw_affiliation_strings":["ETH Zurich, Institute for Information Systems, Zurich, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ETH Zurich, Institute for Information Systems, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083003222","display_name":"Roland Siegwart","orcid":"https://orcid.org/0000-0002-2760-7983"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"R. Siegwart","raw_affiliation_strings":["EPF Lausanne, Autonomous Systems Lab, Lausanne, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"EPF Lausanne, Autonomous Systems Lab, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3461,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.64771502,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"7","issue":null,"first_page":"3429","last_page":"3434 Vol.4"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9987999796867371,"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"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.996399998664856,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7985724210739136},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5706210732460022},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5637351870536804},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5500508546829224},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5179587602615356},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.4439902603626251},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17305782437324524},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.14220643043518066}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7985724210739136},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5706210732460022},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5637351870536804},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5500508546829224},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5179587602615356},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.4439902603626251},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17305782437324524},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.14220643043518066},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/robot.2004.1308784","is_oa":false,"landing_page_url":"https://doi.org/10.1109/robot.2004.1308784","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004","raw_type":"proceedings-article"},{"id":"pmh:oai:infoscience.epfl.ch:97536","is_oa":false,"landing_page_url":"http://infoscience.epfl.ch/record/97536","pdf_url":null,"source":{"id":"https://openalex.org/S4306400488","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"pmh:oai:infoscience.tind.io:97536","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/237675","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"conference proceedings"}],"best_oa_location":{"id":"pmh:oai:infoscience.tind.io:97536","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/237675","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"conference proceedings"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.6499999761581421,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W73289055","https://openalex.org/W76990466","https://openalex.org/W197646197","https://openalex.org/W1540238344","https://openalex.org/W1552461696","https://openalex.org/W1555245319","https://openalex.org/W1566453976","https://openalex.org/W1567460919","https://openalex.org/W1577034617","https://openalex.org/W1980316588","https://openalex.org/W2027657506","https://openalex.org/W2038214150","https://openalex.org/W2093697637","https://openalex.org/W2094335008","https://openalex.org/W2103435288","https://openalex.org/W2156945052","https://openalex.org/W2162290076","https://openalex.org/W2245024132","https://openalex.org/W2276797782","https://openalex.org/W4246121531","https://openalex.org/W6632261255","https://openalex.org/W6632894234","https://openalex.org/W6633774276","https://openalex.org/W6683759526"],"related_works":["https://openalex.org/W1603736412","https://openalex.org/W4304185162","https://openalex.org/W2061685118","https://openalex.org/W3006282800","https://openalex.org/W2462100143","https://openalex.org/W1770503332","https://openalex.org/W3125207769","https://openalex.org/W1977900974","https://openalex.org/W3174463852","https://openalex.org/W2577825108"],"abstract_inverted_index":{"Programming":[0],"efficient":[1],"and":[2,30,45,74,78,90,126,167],"reliable":[3,100],"code":[4,111],"can":[5,33,42,153],"be":[6,20,43,154,175],"considered":[7,155],"a":[8,35,93,121,130,147,177],"non-trivial":[9],"task,":[10,55],"as":[11,71],"it":[12],"requires":[13],"deep":[14],"understanding":[15],"of":[16,66,99,103,106,117,128],"the":[17,59,97,104,115,124,134],"problem":[18],"to":[19,50,174],"solved":[21],"along":[22],"with":[23],"good":[24],"programming":[25,31,68,88],"skills.":[26],"However,":[27],"software":[28],"frameworks":[29],"paradigms":[32,91],"provide":[34],"dependable":[36],"infrastructure":[37],"upon":[38],"which":[39],"better":[40],"programs":[41],"written":[44],"deployed.":[46],"This":[47],"allows":[48],"engineers":[49],"focus":[51],"mainly":[52],"on":[53,58],"their":[54,171],"while":[56],"relying":[57],"underlying":[60],"run-time":[61],"environment":[62],"for":[63,96,110,133,145],"taking":[64],"care":[65],"low-level":[67],"issues,":[69],"such":[70,146],"memory":[72],"allocation":[73],"disposal,":[75],"typing":[76],"consistency":[77],"interface":[79],"compliance.":[80],"In":[81],"this":[82],"paper,":[83],"we":[84,113],"argue":[85],"that":[86],"strong-typed":[87],"languages":[89],"offer":[92],"valid":[94],"support":[95],"production":[98],"programs.":[101],"Aware":[102],"challenges":[105],"formal":[107],"measurement":[108],"metrics":[109],"quality,":[112],"present":[114],"benefits":[116],"strong-typing":[118],"by":[119],"considering":[120],"practical":[122],"application:":[123],"design":[125],"implementation":[127],"RoboX,":[129],"tour-guide":[131],"robot":[132],"Swiss":[135],"National":[136],"Exhibition":[137],"Expo.02.":[138],"The":[139],"example":[140],"is":[141],"extremely":[142],"well":[143],"suited":[144],"discussion,":[148],"since":[149],"complex":[150],"mechatronic":[151],"applications":[152],"critical":[156],"systems":[157,160],"-":[158,169],"i.e.,":[159],"whose":[161],"failure":[162],"may":[163],"endanger":[164],"missions,":[165],"lives":[166],"society":[168],"thus":[170],"reliability":[172],"has":[173],"made":[176],"prime":[178],"concern.":[179]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}