Search Results - "dynamically-typed Programming"

Predicting Variable Types in Dynamically Typed Programming Languages by Jangda, Abhinav, Anand, Gaurav

“…Dynamic Programming Languages are quite popular because they increase the programmer's productivity. However, the absence of types in the source code makes the…”
Get full text

Efficient implementations of machine vision algorithms using a dynamically typed programming language by Wedekind, Jan

“…Current machine vision systems (or at least their performance critical parts) are predominantly implemented using statically typed programming languages such…”
Get full text

Microsoft (MSFT) issued patent titled "Code completion for dynamically-typed programming languages using machine learning"

Get full text

US Patent Issued to MICROSOFT TECHNOLOGY LICENSING on Sept. 21 for "Code completion for dynamically-typed programming languages using machine learning" (Washington Inventors)

Get full text

US Patent Issued to QUALCOMM Innovation Center on June 27 for "Auto-vectorization in just-in-time compilers for dynamically typed programming languages" (California Inventor)

Get full text

WIPO PUBLISHES PATENT OF MICROSOFT TECHNOLOGY LICENSING FOR "PROPERTY ACCESSES IN DYNAMICALLY TYPED PROGRAMMING LANGUAGES" (AMERICAN INVENTORS)

Get full text

Fermi.jl: A Modern Design for Quantum Chemistry by Aroeira, Gustavo J R, Davis, Matthew M, Turney, Justin M, Schaefer, 3rd, Henry F

“… Julia is a novel, dynamically typed, programming language that aims to solve this two-language problem…”
Get more information

An empirical study of automated unit test generation for Python by Lukasczyk, Stephan, Kroiß, Florian, Fraser, Gordon

“… Automatically generating unit tests for dynamically typed programming languages such as Python, however, is substantially more difficult due to the dynamic nature of these languages as well…”
Get full text

Intermediate Representation of Programs with Type Specification Based on Pattern Matching by Vasenin, V. A., Krivchikov, M. A.

“…In this paper, we present an intermediate representation (IR) language for the concise and generalized description of type system specification features in dynamically typed programming languages…”
Get full text

Generating Tests to Analyse Dynamically-Typed Programs by Lukasczyk, Stephan

“…The increasing popularity of dynamically-typed programming languages, such as JavaScript or Python, requires specific support methods for developers to avoid pitfalls arising from the dynamic nature of these languages…”
Get full text

Dynamic Region Ownership for Concurrency Safety by Stoldt, Fridtjof Peer, Bucher, Brandt, Clebsch, Sylvan, Johnson, Matthew A., Parkinson, Matthew J., van Rossum, Guido, Snow, Eric, Wrigstad, Tobias

“… However, Ownership has predominantly taken place in statically typed languages. In this paper, we explore retrofitting an existing dynamically typed programming language with an ownership model based on regions…”
Get full text

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory by Giovannini, Eric, Ding, Tingting, New, Max S.

“…Gradually typed programming languages, which allow for soundly mixing static and dynamically typed programming styles, present a strong challenge for metatheorists…”
Get full text

Computational contracts by Scholliers, Christophe, Tanter, Éric, De Meuter, Wolfgang

“… Contract systems are widely adopted in statically typed languages and are currently finding their entrance in dynamically-typed programming languages…”
Get full text

Embedding Non-linear Pattern Matching with Backtracking for Non-free Data Types into Haskell by Egi, Satoshi, Kawata, Akira, Kori, Mayuko, Ogawa, Hiromi

“… However, they implemented their proposal only in dynamically typed programming languages, and there were no proposals that allow programmers to benefit from both static type systems and expressive pattern matching…”
Get full text

Development nature matters: An empirical study of code clones in JavaScript applications by Cheung, Wai Ting, Ryu, Sukyoung, Kim, Sunghun

“…Code cloning is one of the active research areas in the software engineering community. Specifically, researchers have conducted numerous empirical studies on…”
Get full text

A surprisingly simple Lua compiler—Extended version by Gualandi, Hugo Musso, Ierusalimschy, Roberto

Get full text

Static type information to improve the IDE features of hybrid dynamically and statically typed languages by Ortin, Francisco, Moreno, Francisco, Morant, Anton

“…The flexibility offered by dynamically typed programming languages has been appropriately used to develop specific scenarios where dynamic adaptability is an important issue…”
Get full text

Analysis and Optimization of Engines for Dynamically Typed Languages by Dot, Gem, Martinez, Alejandro, Gonzalez, Antonio

“…Dynamically typed programming languages have become very popular in the recent years…”
Get full text

Comparing Julia to Performance Portable Parallel Programming Models for HPC by Lin, Wei-Chen, McIntosh-Smith, Simon

“…Julia is a general-purpose, managed, strongly and dynamically-typed programming language with emphasis on high performance scientific computing…”
Get full text

Reconciling method overloading and dynamically typed scripting languages by Bergel, Alexandre

“…The Java virtual machine (JVM) has been adopted as the executing platform by a large number of dynamically typed programming languages…”
Get full text