May You Have a Strong (-Typed) Foundation, Why Strong-Typed Programming Languages Do Matter
dc.contributor.author
Tomatis, Nicola
dc.contributor.author
Brega, Roberto
dc.contributor.author
Rivera, Gabrio
dc.contributor.author
Siegwart, Roland
dc.date.accessioned
2024-02-08T13:36:38Z
dc.date.available
2017-06-11T06:57:23Z
dc.date.available
2017-10-19T12:14:11Z
dc.date.available
2017-11-28T10:37:22Z
dc.date.available
2024-02-08T13:36:38Z
dc.date.issued
2004
dc.identifier.isbn
0-7803-8232-3
en_US
dc.identifier.isbn
0-7803-8233-1
en_US
dc.identifier.other
10.1109/ROBOT.2004.1308784
en_US
dc.identifier.uri
http://hdl.handle.net/20.500.11850/82531
dc.identifier.doi
10.3929/ethz-a-010085558
dc.description.abstract
Programming efficient and reliable code can be considered a non-trivial task, as it requires deep understanding of the problem to be solved along with good programming skills. However, software frameworks and programming paradigms can provide a dependable infrastructure upon which better programs can be written and deployed. This allows engineers to focus mainly on their task, while relying on the underlying run-time environment for taking care of low-level programming issues, such as memory allocation and disposal, typing consistency and interface compliance. In this paper, we argue that strong-typed programming languages and paradigms offer a valid support for the production of reliable programs. Aware of the challenges of formal measurement metrics for code quality, we present the benefits of strong-typing by considering a practical application: the design and implementation of RoboX, a tour-guide robot for the Swiss National Exhibition Expo.02. The example is extremely well suited for such a discussion, since complex mechatronic applications can be considered critical systems - i.e., systems whose failure may endanger missions, lives and society - thus their reliability has to be made a prime concern.
en_US
dc.format
application/pdf
en_US
dc.language.iso
en
en_US
dc.publisher
IEEE
en_US
dc.rights.uri
http://rightsstatements.org/page/InC-NC/1.0/
dc.title
May You Have a Strong (-Typed) Foundation, Why Strong-Typed Programming Languages Do Matter
en_US
dc.type
Conference Paper
dc.rights.license
In Copyright - Non-Commercial Use Permitted
dc.date.published
2014
ethz.book.title
2004 IEEE International Conference on Robotics and Automation
en_US
ethz.journal.volume
4
en_US
ethz.pages.start
3429
en_US
ethz.pages.end
3434
en_US
ethz.size
Online-Ressource
en_US
ethz.version.deposit
acceptedVersion
en_US
ethz.code.ddc
DDC - DDC::0 - Computer science, information & general works::004 - Data processing, computer science
en_US
ethz.code.ddc
DDC - DDC::6 - Technology, medicine and applied sciences::621.3 - Electric engineering
en_US
ethz.event
IEEE International Conference on Robotics and Automation (ICRA 2004)
en_US
ethz.event.location
New Orleans, LA, USA
en_US
ethz.event.date
April 26 - May 1, 2004
en_US
ethz.publication.place
Piscataway, NJ
en_US
ethz.publication.status
published
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02130 - Dep. Maschinenbau und Verfahrenstechnik / Dep. of Mechanical and Process Eng.::02620 - Inst. f. Robotik u. Intelligente Systeme / Inst. Robotics and Intelligent Systems::03737 - Siegwart, Roland Y. / Siegwart, Roland Y.
en_US
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02130 - Dep. Maschinenbau und Verfahrenstechnik / Dep. of Mechanical and Process Eng.::02620 - Inst. f. Robotik u. Intelligente Systeme / Inst. Robotics and Intelligent Systems::03737 - Siegwart, Roland Y. / Siegwart, Roland Y.
ethz.date.deposited
2017-06-11T07:00:04Z
ethz.source
ECOL
ethz.source
ECIT
ethz.identifier.importid
imp59366b53ba8d270826
ethz.identifier.importid
imp593651c82391478319
ethz.ecolpid
eth:8153
ethz.ecitpid
pub:130116
ethz.eth
no
en_US
ethz.availability
Open access
en_US
ethz.rosetta.installDate
2017-07-13T16:54:48Z
ethz.rosetta.lastUpdated
2024-02-02T03:17:31Z
ethz.rosetta.exportRequired
true
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=May%20You%20Have%20a%20Strong%20(-Typed)%20Foundation,%20Why%20Strong-Typed%20Programming%20Languages%20Do%20Matter&rft.date=2004&rft.volume=4&rft.spage=3429&rft.epage=3434&rft.au=Tomatis,%20Nicola&Brega,%20Roberto&Rivera,%20Gabrio&Siegwart,%20Roland&rft.isbn=0-7803-8232-3&0-7803-8233-1&rft.genre=proceeding&rft_id=info:doi/10.1109/ROBOT.2004.1308784&rft.btitle=2004%20IEEE%20International%20Conference%20on%20Robotics%20and%20Automation
Files in this item
Publication type
-
Conference Paper [35220]