Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
Type Inference to Optimize a Hybrid Statically and Dynamically Typed Language. |
| Συγγραφείς: |
Ortin, Francisco |
| Πηγή: |
Computer Journal; Nov2011, Vol. 54 Issue 11, p1901-1924, 24p |
| Θεματικοί όροι: |
Statics, Programming languages, Computer programming, Mixed languages, Compilers (Computer programs), Computer performance |
| Περίληψη: |
Dynamically typed 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. In contrast, statically typed languages have undeniable advantages such as early type error detection and more opportunities for compiler optimizations. Since both approaches offer different benefits, hybrid statically and dynamically typed programming languages have emerged, and some statically typed languages have also incorporated dynamic typing capabilities. In this paper, we present the minimal core of StaDyn, a hybrid typing language that performs static type inference of both statically and dynamically typed references. The type information gathered by the compiler is used to generate efficient .NET code, obtaining a significant runtime performance improvement compared with C# 4.0 and Visual Basic 10. [ABSTRACT FROM AUTHOR] |
|
Copyright of Computer Journal is the property of Oxford University Press / USA 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.) |
| Βάση Δεδομένων: |
Complementary Index |