Efficient virtual machine support of runtime structural reflection

Ortín, Francisco; Redondo, J. M.; Perez-Schofield, J. Baltasar Garcıa

doi:10.1016/j.scico.2009.04.001

Cited by 31 publications

(18 citation statements)

References 45 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…These two languages perform every type-checking operation over dynamic references at runtime, using reflection. The use of reflective operations in the .Net platform has an important performance cost [16]. The difference between C# and VB shows the performance benefit of using the DLR in this scenario.…”

Section: Assessmentmentioning

confidence: 99%

Union and intersection types to support both dynamic and static typing

Ortín¹,

García²

2011

Information Processing Letters

Self Cite

View full text Add to dashboard Cite

Although static typing provides undeniable benefits for the development of applications, dynamically typed languages have become increasingly popular for specific scenarios. Since each approach offers different benefits, the StaDyn programming language has been designed to support both dynamic and static typing. This paper describes the minimal core of the StaDyn programming language. Its type system performs type reconstruction over both dynamic and static implicitly typed references. A new interpretation of union and intersection types allows statically gathering the type information of dynamic references, which improves runtime performance and robustness. The evaluation of the generated code has shown how our approach offers an important runtime performance benefit.

show abstract

Section: Assessmentmentioning

confidence: 99%

Union and intersection types to support both dynamic and static typing

Ortín¹,

García²

2011

Information Processing Letters

Self Cite

View full text Add to dashboard Cite

show abstract

“…Common target platforms such as Java and .NET do not allow a variable to have multiple different types, and they do not provide a dynamic type either. If a compiler generates code replacing dynamically typed references with Object, the required type casts would slow down the execution of the application . To avoid this runtime performance penalty, we transform the AST into another one where each dynamically type reference is (statically) assigned at most once.…”

Section: Design Principlesmentioning

confidence: 99%

“…The ternary conditional operator is used to dynamically check the actual type of the expression, checking the possible types in the union type . At runtime, this conditional code is significantly faster than reflection, the approach taken by C# and VB (Section 4).…”

Section: Design Principlesmentioning

confidence: 99%

“…The ternary conditional operator is used to dynamically check the actual Copyright type of the expression, checking the possible types in the union type || . At runtime, this conditional code is significantly faster than reflection, the approach taken by C# and VB [34] (Section 4). For static union types (staFig), all the types in the union type are checked, because all of them fulfill the type operation conditions (S-SUNIONL in Figure 7).…”

Section: Code Generationmentioning

confidence: 99%

See 1 more Smart Citation

Design and implementation of an efficient hybrid dynamic and static typing language

2014

Self Cite

View full text Add to dashboard Cite

Summary Dynamic languages are suitable for developing specific applications where runtime adaptability is an important issue. On the contrary, statically typed languages commonly provide better compile‐time type error detection and more opportunities for compiler optimizations. Because both approaches offer different benefits, there exist programming languages that support hybrid dynamic and static typing. However, the existing hybrid typing languages commonly do not gather type information of dynamic references at compile time, missing opportunities for improving compile‐time error detection and runtime performance. Therefore, we propose some design principles to implement hybrid typing languages that continue gathering type information of dynamically typed references. This type information is used to perform compile‐time type checking of the dynamically typed code and improve its runtime performance. As an example, we have implemented a hybrid typing language following the proposed design principles. We have evaluated the runtime performance and memory consumption of the generated code. The average performance of the dynamic and hybrid typing code is at least 2.53× and 4.51× better than the related approaches for the same platform, consuming less memory resources. Copyright © 2014 John Wiley & Sons, Ltd.

show abstract

“…When a reference is declared as dynamic, every operation over that reference is performed at runtime using reflection. Since the usage of reflective operations in the .NET platform has an important performance cost [27], the execution time is significantly incremented.…”

Section: Runtime Performancementioning

confidence: 99%

A Programming Language That Combines the Benefits of Static and Dynamic Typing

Ortín

García

2013

Communications in Computer and Information Science

Self Cite

View full text Add to dashboard Cite

Abstract. Dynamically typed languages have recently turned out to be suitable for developing specific scenarios where dynamic adaptability or rapid prototyping are important issues. However, statically typed programming languages commonly offer more opportunities for compiler optimizations and earlier type error detection. Due to the benefits of both approaches, some programming languages such as C# 4.0, Boo, Visual Basic or Objective-C provide both static and dynamic typing. We describe the StaDyn programming language that supports both type systems in the very same programming language. The main contribution of StaDyn is that it keeps gathering type information at compile time even over dynamically typed references, obtaining a better runtime performance, earlier type error detection, and an intuitive combination of statically and dynamically typed code.

show abstract

Efficient virtual machine support of runtime structural reflection

Cited by 31 publications

References 45 publications

Union and intersection types to support both dynamic and static typing

Union and intersection types to support both dynamic and static typing

Design and implementation of an efficient hybrid dynamic and static typing language

A Programming Language That Combines the Benefits of Static and Dynamic Typing

Contact Info

Product

Resources

About