Improving Performance and Robustness of Dynamic Languages to develop Efficient, Scalable and Reliable Software

Dec 31, 2011
Go to Project Site

Project funded by the Spanish Department of Science and Technology, under the National Program for Research, Development and Innovation. (TIN2011-25978).

StaDyn

Publications

SSA Transformations to Facilitate Type Inference in Dynamically Typed Code
In most dynamically typed languages, variables are created without declaring their type. This way of programming allows variable reuse, …
Project: stadyn Project: tin2011-25978 Project: grupin14-100 Source Document doi: 10.1093/comjnl/bxw108
Optimizing runtime performance of dynamically typed code
Dynamic languages are widely used for different kinds of applications including rapid prototyping, Web development and programs that …
PDF Project: stadyn Project: tin2008-00276 Project: tin2011-25978 Project: grupin14-100
Optimizing runtime performance of hybrid dynamically and statically typed languages for the .NET platform
Dynamically typed languages have become popular in scenarios where high flexibility and adaptability are important issues. On the other …
Project: stadyn Project: tin2011-25978 Project: grupin14-100 Source Document doi: 10.1016/j.jss.2015.11.041
Design and implementation of an efficient hybrid dynamic and static typing language
Dynamic languages are suitable for developing specific applications where runtime adaptability is an important issue. On the contrary, …
Project: stadyn Project: tin2011-25978 Source Document doi: 10.1002/spe.2291
Automatic Generation of Object-Oriented Type Checkers
Type systems are aimed at preventing programming language constructions from having wrong behavior at runtime. Different formalisms are …
PDF Project: stadyn Project: tin2011-25978
Attaining multiple dispatch in widespread object-oriented languages
Multiple dispatch allows determining the actual method to be executed, depending on the dynamic types of its arguments. Although some …
Project: stadyn Project: tin2011-25978 Source Document doi: 10.15446/dyna.v81n186.40428
TyS - A Framework to Facilitate the Implementation of Object-Oriented Type Checkers
Type systems are mainly aimed at providing the absence of erroneous behaviors. Their formalization is commonly used to prove specific …
PDF Project: stadyn Project: tin2011-25978
Combining Static and Dynamic Typing to Achieve Multiple Dispatch
Some programming languages such as CLOS, Xtend and Dylan provide multiple dispatch through multi-methods. Multiple dispatch is a …
Project: stadyn Project: tin2011-25978 Source Document
Achieving Multiple Dispatch In Hybrid Statically And Dynamically Typed Languages
Multiple dispatch is a feature provided by some programming languages, in which the actual method to be executed is dynamically …
Project: stadyn Project: tin2011-25978