StaDyn

The following publications describe different aspects of the StaDyn programming language:

• Rule-based program specialization to optimize gradually typed code.
• Francisco Ortin, Miguel Garcia, Sean McSweeney.
• Elsevier Knowledge-Based Systems, volume 179, pp. 145-173.
• September 2019, doi: 10.1016/j.knosys.2019.05.013.

• Design and implementation of an efficient hybrid dynamic and static typing language.
• Miguel Garcia, Francisco Ortin, Jose Quiroga.
• Wiley Software: Practice and Experience, volume 46, issue 2, pp. 199-226.
• February 2016.

• SSA Transformations to Facilitate Type Inference in Dynamically Typed Code.
• Jose Quiroga, Francisco Ortin.
• The Computer Journal, volume 60, issue 90, pp. 1300-1315.
• September 2017, doi: 10.1093/comjnl/bxw108.

• Static Type Information to Improve the IDE Features of Hybrid Dynamically and Statically Typed Languages.
• Francisco Ortin, Francisco Moreno, Anton Morant.
• Elsevier Journal of Visual Languages & Computing, volume 25, issue 4, pp. 346-362.
• August 2014.

• Type Inference to Optimize a Hybrid Statically and Dynamically Typed Language.
• Francisco Ortin.
• The Computer Journal, volume 54, issue 11, pp. 1901-1924.
• November 2011.

• Optimizing Runtime Performance of Hybrid Dynamically and Statically Typed Languages for the .Net Platform.
• Jose Quiroga, Francisco Ortin, David Llewellyn-Jones, Miguel Garcia.
• Elsevier Journal of Systems and Software, volume 113, pp. 114-129.
• March 2016.
• Authors' version.

• Union and intersection types to support both dynamic and static typing .
• Francisco Ortin, Miguel Garcia.
• Elsevier Information Processing Letters, volume 111, issue 6, pp. 278-286.
• February 2011.

• Including both Static and Dynamic Typing in the same Programming Language.
• Francisco Ortin, Daniel Zapico, J. Baltasar García Perez-Schofield, Miguel Garcia.
• IET Software, volume 4, issue 4, pp. 268-282.
• August 2010.

• IDE Support to Facilitate the Transition from Rapid Prototyping to Robust Software Production.
• Francisco Ortin, Anton Morant.
• IEEE International Conference on Software Engineering (ICSE). Workshop on Developing Tools as Plug-ins (TOPI), Honolulu, Hawaii (USA).
• May 2011.

• Supporting Dynamic and Static Typing by means of Union and Intersection Types.
• Francisco Ortin, Miguel Garcia.
• IEEE International Conference on Progress in Informatics and Computing (PIC), Shanghai (China).
• December 2010.

• A Programming Language to Facilitate the Transition from Rapid Prototyping to Efficient Software Production.
• Francisco Ortin, Daniel Zapico, Miguel Garcia.
• 5^th International Conference on Software and Data Technologies (ICSOFT), Athens (Greece).
• July 2010.