loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Francisco Ortin ; Daniel Zapico and Miguel Garcia

Affiliation: University of Oviedo, Spain

Keyword(s): Dynamic languages, Rapid prototyping, Separation of concerts, Union types, Alias analysis, Type inference.

Related Ontology Subjects/Areas/Topics: Programming Languages ; Software Engineering

Abstract: Dynamic languages are becoming increasingly popular for developing different kinds of applications, being rapid prototyping one of the scenarios where they are widely used. The dynamism offered by dynamic languages is, however, counteracted by two main limitations: no early type error detection and fewer opportunities for compiler optimizations. To obtain the benefits of both dynamically and statically typed languages, we have designed the StaDyn programming language to provide both approaches. Our language implementation keeps gathering type information at compile time, even when dynamic references are used. This type information is used to offer compile-time type error detection, direct interoperation between static and dynamic code, and better runtime performance. Following the Separation of Concerns principle, dynamically typed references can be easily turned into statically typed ones without changing the application source code, facilitating the transition from rapid prototypin g to efficient software production. This paper describes the key techniques used in the implementation of StaDyn to obtain these benefits. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.210.126.232

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Ortin, F.; Zapico, D. and Garcia, M. (2010). A PROGRAMMING LANGUAGE TO FACILITATE THE TRANSITION FROM RAPID PROTOTYPING TO EFFICIENT SOFTWARE PRODUCTION. In Proceedings of the 5th International Conference on Software and Data Technologies - Volume 2: ICSOFT; ISBN 978-989-8425-23-2; ISSN 2184-2833, SciTePress, pages 40-50. DOI: 10.5220/0002978500400050

@conference{icsoft10,
author={Francisco Ortin. and Daniel Zapico. and Miguel Garcia.},
title={A PROGRAMMING LANGUAGE TO FACILITATE THE TRANSITION FROM RAPID PROTOTYPING TO EFFICIENT SOFTWARE PRODUCTION},
booktitle={Proceedings of the 5th International Conference on Software and Data Technologies - Volume 2: ICSOFT},
year={2010},
pages={40-50},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002978500400050},
isbn={978-989-8425-23-2},
issn={2184-2833},
}

TY - CONF

JO - Proceedings of the 5th International Conference on Software and Data Technologies - Volume 2: ICSOFT
TI - A PROGRAMMING LANGUAGE TO FACILITATE THE TRANSITION FROM RAPID PROTOTYPING TO EFFICIENT SOFTWARE PRODUCTION
SN - 978-989-8425-23-2
IS - 2184-2833
AU - Ortin, F.
AU - Zapico, D.
AU - Garcia, M.
PY - 2010
SP - 40
EP - 50
DO - 10.5220/0002978500400050
PB - SciTePress