Julia: Dynamism and performance reconciled by design

J Bezanson, J Chen, B Chung, S Karpinski… - Proceedings of the …, 2018 - dl.acm.org
Julia is a programming language for the scientific community that combines features of
productivity languages, such as Python or MATLAB, with characteristics of performance …

A type system for Julia

B Chung - 2023 - search.proquest.com
The Julia programming language was designed to fill the needs of scientific computing by
combining the benefits of productivity and performance languages. Julia allows users to …

[HTML][HTML] The StaDyn programming language

F Ortin, M Garcia, BG Perez-Schofield, J Quiroga - SoftwareX, 2022 - Elsevier
Hybrid static and dynamic typing languages are aimed at combining the benefits of both
kinds of languages: the early type error detection and compile-time optimizations of static …

Efficient runtime metaprogramming services for Java

I Lagartos, JM Redondo, F Ortin - Journal of Systems and Software, 2019 - Elsevier
The Java programming language and platform provide many optimizations to execute
statically typed code efficiently. Although Java has gradually incorporated more dynamic …

[PDF][PDF] Towards a static type checker for python

F Ortin, JBG Perez-Schofield… - European Conference on …, 2015 - researchgate.net
We present the preliminary stage of stypy, a static type checker for Python. stypy translates
each Python program into Python code that type-checks the original program. The …

Optimizing runtime performance of hybrid dynamically and statically typed languages for the. Net platform

J Quiroga, F Ortin, D Llewellyn-Jones… - Journal of Systems and …, 2016 - Elsevier
Dynamically typed languages have become popular in scenarios where high flexibility and
adaptability are important issues. On the other hand, statically typed languages provide …

Rule-based program specialization to optimize gradually typed code

F Ortin, M Garcia, S McSweeney - Knowledge-Based Systems, 2019 - Elsevier
Both static and dynamic typing provide different benefits to the programmer. Statically typed
languages support earlier type error detection and more opportunities for compiler …

[HTML][HTML] ProcessPerformance: A portable and easy-to-use tool to measure resource consumption of running processes

M Garcia, J Quiroga, F Ortin - Software Impacts, 2022 - Elsevier
The measurement of the resources consumed by an application at runtime is an important
task in different scenarios such as program optimization, malware and bug detection, and …

[PDF][PDF] Processperformance: a portable and easy-to-use tool to measure resource consumption of running processes [formula presented]

M García Rodríguez, J Quiroga Álvarez… - Software …, 2022 - digibuo.uniovi.es
The measurement of the resources consumed by an application at runtime is an important
task in different scenarios such as program optimization, malware and bug detection, and …

A performance comparison of Clojure and Java

G Krantz - 2020 - diva-portal.org
Clojure is a relatively new functional programming language that can compile to both Java
bytecode and JavaScript (ClojureScript), with features like persistent data structures and a …