Cargando…

Can static type systems speed up programming? : an experimental evaluation of static and dynamic type systems /

Hauptbeschreibung Programming languages that use the object-oriented approach have been around for quite a while now. Most of them use either a static or a dynamic type system. However, both types are very common in the industry. But, in spite of their common use in science and practice, only very f...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Kleinschmager, Sebastian
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Hamburg : Anchor Academic Pub., 2013.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Ma 4500
001 EBOOKCENTRAL_ocn857080114
003 OCoLC
005 20240329122006.0
006 m o d
007 cr cn|||||||||
008 130729s2013 gw a ob 000 0 eng d
040 |a E7B  |b eng  |e pn  |c E7B  |d OCLCO  |d N$T  |d OCLCF  |d EBLCP  |d YDXCP  |d OCLCQ  |d LOA  |d COCUF  |d AGLDB  |d MOR  |d PIFAG  |d ZCU  |d MERUC  |d OCLCQ  |d U3W  |d STF  |d WRM  |d VTS  |d CRU  |d OCLCQ  |d INT  |d VT2  |d OCLCQ  |d WYU  |d OCLCQ  |d DKC  |d OCLCQ  |d UKAHL  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCLCO 
019 |a 854977184  |a 902944554  |a 961561927  |a 962700837  |a 974985747  |a 975045022  |a 1017999860  |a 1043649011  |a 1055337961  |a 1058874283  |a 1066589109  |a 1081279590  |a 1086933012  |a 1228595552 
020 |a 9783954895403  |q (electronic bk.) 
020 |a 3954895404  |q (electronic bk.) 
020 |a 3954890402 
020 |a 9783954890408 
020 |z 9783954890408 
029 1 |a DEBBG  |b BV043165316 
029 1 |a DEBBG  |b BV044177041 
029 1 |a DEBSZ  |b 421209801 
029 1 |a AU@  |b 000054195244 
035 |a (OCoLC)857080114  |z (OCoLC)854977184  |z (OCoLC)902944554  |z (OCoLC)961561927  |z (OCoLC)962700837  |z (OCoLC)974985747  |z (OCoLC)975045022  |z (OCoLC)1017999860  |z (OCoLC)1043649011  |z (OCoLC)1055337961  |z (OCoLC)1058874283  |z (OCoLC)1066589109  |z (OCoLC)1081279590  |z (OCoLC)1086933012  |z (OCoLC)1228595552 
050 4 |a QA76.6  |b .K54 2013eb 
072 7 |a COM  |x 013000  |2 bisacsh 
072 7 |a COM  |x 014000  |2 bisacsh 
072 7 |a COM  |x 018000  |2 bisacsh 
072 7 |a COM  |x 067000  |2 bisacsh 
072 7 |a COM  |x 032000  |2 bisacsh 
072 7 |a COM  |x 037000  |2 bisacsh 
072 7 |a COM  |x 052000  |2 bisacsh 
082 0 4 |a 004 
049 |a UAMI 
100 1 |a Kleinschmager, Sebastian. 
245 1 0 |a Can static type systems speed up programming? :  |b an experimental evaluation of static and dynamic type systems /  |c Sebastian Kleinschmager. 
260 |a Hamburg :  |b Anchor Academic Pub.,  |c 2013. 
300 |a 1 online resource (ix, 101 pages) :  |b illustrations (some color) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
500 |a "Disseminate knowledge"--Cover. 
504 |a Includes bibliographical references. 
505 0 |a Can static type systems speed up programming? An experimental evaluation of static and dynamic type systems; Abstract; Zusammenfassung (German Abstract); Table of Contents; Directory of Figures; Directory of Tables; Directory of Listings; 1. Introduction; 2. Motivation & Background; 2.1 Motivation; 2.2 Maintenance and Debugging; 2.2.1 Maintenance in a Nutshell; 2.2.2 Debugging in a Nutshell; 2.3 Documentation and APIs; 2.3.1 Documentation of Software Systems; 2.3.2 APIs and Application of their Design Principles in General Programming; 2.4 Type Systems. 
505 8 |a 2.5 Empirical Research in Software Engineering2.5.1 On Empirical Research; 2.5.2 Controlled Experiments; 2.5.3 Current State of Empirical Research in Software Engineering; 3. Related Work; 3.1 Gannon (1977); 3.2 Prechelt and Tichy (1998); 3.3 Daly, Sazawal and Foster (2009); 3.4 Hanenberg (2010); 3.5 Steinberg, Mayer, Stuchlik and Hanenberg -- A running Experiment series; 3.5.1 Steinberg (2011); 3.5.2 Mayer (2011); 3.5.3 Stuchlik and Hanenberg (2011); 4. The Experiment; 4.1 The Research Question; 4.2 Experiment Overview; 4.2.1 Initial Considerations. 
505 8 |a 4.2.2 Further Considerations: Studies on Using Students as Subjects4.2.3 Design of the Experiment; 4.3 Questionnaire; 4.4 Hard- and Software Environment; 4.4.1 Environment; 4.4.2 Programming Languages; 4.4.2.1 Java; 4.4.2.2 Groovy; 4.5 Workspace Applications and Tasks; 4.5.1 The Java Application -- A Labyrinth Game; 4.5.2 The Groovy Application -- A simple Mail Viewer; 4.5.3 Important Changes made to both Parts; 4.5.4 The Tasks; 4.5.4.1 The Task Types; 4.5.4.2 Tasks 1 and 10 -- 2 Types to identify; 4.5.4.3 Tasks 2 and 11 -- 4 Types to identify; 4.5.4.4 Tasks 4 and 13 -- Semantic Error. 
505 8 |a 4.5.4.5 Tasks 5 and 14 -- Semantic Error4.5.4.6 Tasks 6 and 15 -- 8 Types to identify; 4.5.4.7 Tasks 7 and 16 -- Stack size 2 and branch size 3; 4.5.4.8 Tasks 8 and 17 -- 12 types to identify; 4.5.4.9 Tasks 9 and 18 -- Stack size 2 and branch size 5; 4.5.4.10 Summary of Variables and Mapping of Tasks to Hypotheses; 4.6 Experiment Implementation; 5. Threats to Validity; 5.1 Internal Validity; 5.2 External Validity; 6. Analysis and Results; 6.1 General Descriptive Statistics; 6.2 Statistical Tests and Analysis; 6.2.1 Within-Subject Analysis on the complete data. 
505 8 |a 6.2.2 Analysis for residual effects between the two ParticipantGroups6.2.3 Within-Subject Analysis on the two Participant Groups; 6.2.3.1 Participants that started with Groovy; 6.2.3.2 Participants that started with Java; 6.2.4 Exploratory Analysis of the Results based on Participants' Performance; 6.2.4.1 Participants that started with Groovy; 6.2.4.2 Participants that started with Java; 6.2.5 Hypotheses and Task based Analysis; 6.2.5.1 Tasks 1, 2, 3, 6 and 8; 6.2.5.2 Hypothesis 2-1 and Tasks 7 and 9; 6.2.5.3 Hypothesis 2-2 and Tasks 4 and 5; 7. Summary and Discussion; 7.1 Final Remarks. 
520 |a Hauptbeschreibung Programming languages that use the object-oriented approach have been around for quite a while now. Most of them use either a static or a dynamic type system. However, both types are very common in the industry. But, in spite of their common use in science and practice, only very few scientific studies have tried to evaluate the two type systems' usefulness in certain scenarios. There are arguments for both systems. For example, static type systems are said to aid the programmer in the prevention of type errors, and further, they provide documentation help for, the. 
590 |a ProQuest Ebook Central  |b Ebook Central Academic Complete 
650 0 |a Computer programming. 
650 0 |a Application software. 
650 6 |a Programmation (Informatique) 
650 6 |a Logiciels d'application. 
650 7 |a computer programming.  |2 aat 
650 7 |a COMPUTERS  |x Computer Literacy.  |2 bisacsh 
650 7 |a COMPUTERS  |x Computer Science.  |2 bisacsh 
650 7 |a COMPUTERS  |x Data Processing.  |2 bisacsh 
650 7 |a COMPUTERS  |x Hardware  |x General.  |2 bisacsh 
650 7 |a COMPUTERS  |x Information Technology.  |2 bisacsh 
650 7 |a COMPUTERS  |x Machine Theory.  |2 bisacsh 
650 7 |a COMPUTERS  |x Reference.  |2 bisacsh 
650 7 |a Application software  |2 fast 
650 7 |a Computer programming  |2 fast 
776 0 8 |i Print version:  |a Kleinschmager, Sebastian.  |t Can static type systems speed up programming? An experimental evaluation of static and dynamic type systems.  |d Hamburg : Diplomica Verlag, ©2012 
856 4 0 |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=1324010  |z Texto completo 
938 |a Askews and Holts Library Services  |b ASKH  |n BDZ0023602720 
938 |a EBL - Ebook Library  |b EBLB  |n EBL1324010 
938 |a ebrary  |b EBRY  |n ebr10735066 
938 |a EBSCOhost  |b EBSC  |n 773074 
938 |a YBP Library Services  |b YANK  |n 10883287 
994 |a 92  |b IZTAP