Improving Performance and Robustness of Dynamic Languages to develop Efficient, Scalable and Reliable Software
Dec 31, 2011
Project funded by the Spanish Department of Science and Technology, under the National Program for Research, Development and Innovation. (TIN2011-25978).
Related
Publications
In most dynamically typed languages, variables are created without declaring their type. This way of programming allows variable reuse, …
Jose Quiroga,
Francisco Ortin
Dynamic languages are suitable for developing specific applications where runtime adaptability is an important issue. On the contrary, …
Miguel Garcia,
Francisco Ortin,
Jose Quiroga
Dynamically typed languages have become popular in scenarios where high flexibility and adaptability are important issues. On the other …
Jose Quiroga,
Francisco Ortin,
David Llewellyn-Jones,
Miguel Garcia
Type systems are aimed at preventing programming language constructions from having wrong behavior at runtime. Different formalisms are …
Francisco Ortin,
Daniel Zapico,
Jose Quiroga,
Miguel Garcia
Multiple dispatch allows determining the actual method to be executed, depending on the dynamic types of its arguments. Although some …
Francisco Ortin,
Jose Quiroga,
Jose Manuel Redondo,
Miguel Garcia
Type systems are mainly aimed at providing the absence of erroneous behaviors. Their formalization is commonly used to prove specific …
Francisco Ortin,
Daniel Zapico,
Jose Quiroga,
Miguel Garcia
Some programming languages such as CLOS, Xtend and Dylan provide multiple dispatch through multi-methods. Multiple dispatch is a …
Francisco Ortin,
Jose Quiroga,
Jose Manuel Redondo,
Miguel Garcia
Multiple dispatch is a feature provided by some programming languages, in which the actual method to be executed is dynamically …
Francisco Ortin,
Miguel Garcia,
Jose Manuel Redondo,
Jose Quiroga