Academic Journal
Including both static and dynamic typing in the same programming language.
| Title: | Including both static and dynamic typing in the same programming language. |
|---|---|
| Authors: | Ortin, F., Zapico, D., Perez-Schofield, J. B. G., Garcia, M. |
| Source: | IET Software (Institution of Engineering & Technology); Aug2010, Vol. 4 Issue 4, p268-282, 15p, 13 Diagrams, 1 Graph |
| Subject Terms: | Websites, Computer engineering, Programming languages, Computer software development, Computer software |
| Abstract: | Dynamic languages are becoming increasingly popular for different software development scenarios such as Web engineering, rapid prototyping or the construction of applications that require runtime adaptiveness. These languages are built on the idea of supporting reasoning about (and customising) program structure, behaviour and environment at runtime. The dynamism offered by dynamic languages is, however, counteracted by two main limitations: no early type error detection and fewer opportunities for compiler optimisations. To obtain the benefits of both dynamically and statically typed languages, the authors have designed the StaDyn programming language that provides both approaches. StaDyn keeps gathering-type information at compile time, even when dynamic variables are used. This type information is used to offer early type error detection, direct interoperation between static and dynamic codes and better runtime performance. Following the Separation of Concerns principle, it is possible to customise the trade-off between runtime flexibility of dynamic typing and safety, performance and robustness of static typing. A runtime performance assessment is presented to show an estimate of the benefits of combining dynamic and static typing in the same programming language. [ABSTRACT FROM AUTHOR] |
| Copyright of IET Software (Institution of Engineering & Technology) is the property of Institution of Engineering & Technology and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Complementary Index |
| FullText | Text: Availability: 0 |
|---|---|
| Header | DbId: edb DbLabel: Complementary Index An: 52414175 RelevancyScore: 834 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 833.7734375 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Including both static and dynamic typing in the same programming language. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Ortin%2C+F%2E%22">Ortin, F.</searchLink><br /><searchLink fieldCode="AR" term="%22Zapico%2C+D%2E%22">Zapico, D.</searchLink><br /><searchLink fieldCode="AR" term="%22Perez-Schofield%2C+J%2E+B%2E+G%2E%22">Perez-Schofield, J. B. G.</searchLink><br /><searchLink fieldCode="AR" term="%22Garcia%2C+M%2E%22">Garcia, M.</searchLink> – Name: TitleSource Label: Source Group: Src Data: IET Software (Institution of Engineering & Technology); Aug2010, Vol. 4 Issue 4, p268-282, 15p, 13 Diagrams, 1 Graph – Name: Subject Label: Subject Terms Group: Su Data: <searchLink fieldCode="DE" term="%22Websites%22">Websites</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+engineering%22">Computer engineering</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software+development%22">Computer software development</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software%22">Computer software</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: Dynamic languages are becoming increasingly popular for different software development scenarios such as Web engineering, rapid prototyping or the construction of applications that require runtime adaptiveness. These languages are built on the idea of supporting reasoning about (and customising) program structure, behaviour and environment at runtime. The dynamism offered by dynamic languages is, however, counteracted by two main limitations: no early type error detection and fewer opportunities for compiler optimisations. To obtain the benefits of both dynamically and statically typed languages, the authors have designed the StaDyn programming language that provides both approaches. StaDyn keeps gathering-type information at compile time, even when dynamic variables are used. This type information is used to offer early type error detection, direct interoperation between static and dynamic codes and better runtime performance. Following the Separation of Concerns principle, it is possible to customise the trade-off between runtime flexibility of dynamic typing and safety, performance and robustness of static typing. A runtime performance assessment is presented to show an estimate of the benefits of combining dynamic and static typing in the same programming language. [ABSTRACT FROM AUTHOR] – Name: Abstract Label: Group: Ab Data: <i>Copyright of IET Software (Institution of Engineering & Technology) is the property of Institution of Engineering & Technology and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edb&AN=52414175 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1049/iet-sen.2009.0070 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 15 StartPage: 268 Subjects: – SubjectFull: Websites Type: general – SubjectFull: Computer engineering Type: general – SubjectFull: Programming languages Type: general – SubjectFull: Computer software development Type: general – SubjectFull: Computer software Type: general Titles: – TitleFull: Including both static and dynamic typing in the same programming language. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Ortin, F. – PersonEntity: Name: NameFull: Zapico, D. – PersonEntity: Name: NameFull: Perez-Schofield, J. B. G. – PersonEntity: Name: NameFull: Garcia, M. IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 08 Text: Aug2010 Type: published Y: 2010 Identifiers: – Type: issn-print Value: 17518806 Numbering: – Type: volume Value: 4 – Type: issue Value: 4 Titles: – TitleFull: IET Software (Institution of Engineering & Technology) Type: main |
| ResultId | 1 |