000097536 001__ 97536
000097536 005__ 20180127202425.0
000097536 037__ $$aCONF
000097536 245__ $$a  "May You Have a Strong (-Typed) Foundation", Why Strong-Typed Programming Languages Do Matter
000097536 269__ $$a2004
000097536 260__ $$c2004
000097536 336__ $$aConference Papers
000097536 520__ $$aProgramming 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.
000097536 6531_ $$aRobotics @ expo.02
000097536 700__ $$0240977$$aTomatis, N.$$g117582
000097536 700__ $$aBrega, R.
000097536 700__ $$aRivera, G.
000097536 700__ $$0240969$$aSiegwart, R.$$g112562
000097536 7112_ $$aNone
000097536 8564_ $$uhttp://www.icra2004.org/$$zConference Web Site
000097536 8564_ $$iINTERNAL$$uhttps://infoscience.epfl.ch/record/97536/files/icra04.pdf$$xPUBLIC$$zn/a
000097536 909C0 $$0252186$$pLSA
000097536 909CO $$ooai:infoscience.tind.io:97536$$pconf
000097536 937__ $$aLSA-CONF-2004-015
000097536 970__ $$a482/LSA
000097536 973__ $$aEPFL$$rREVIEWED$$sPUBLISHED
000097536 980__ $$aCONF