dynamically typed languages
Dynamically typed languages.
... statically typed languages retain an important ...computing dynamically typed languages have proved to be very successful (see ...of dynamically typed languages ...
33
Applying Optimizations for Dynamically-typed Languages to Java
... for dynamically-typed languages to statically-typed languages has a long-standing tradition ...statically-typed languages such as Java ...
12
Challenges to support automated random testing for dynamically typed languages
... statically typed languages, current automated random testing tools heavily take advantage of static method declaration (argument types, thrown excep- tions) to constrain input domains while testing and to ...
7
Preemptive Type Checking in Dynamically Typed Languages
... If the future use types are not subsumed by the present types, the further program execution may raise a type error, and a corresponding narrowing assertion is inserted; if future use ty[r] ...
18
Scala.js: Type-Directed Interoperability with Dynamically Typed Languages
... The concept closest to facade types is found in the TypeScript programming language [18], although they are not used for inter- operability. TypeScript does not need interoperability at all, since it belongs to the “It ...
10
Efficient and Thread-Safe Objects for Dynamically-Typed Languages
... 7.2 Baseline Performance of JRuby+Truffle Since this work is based on JRuby+Truffle, we first demon- strate that its performance is competitive with custom-built dynamic language VMs. For that purpose, we take a set of ...
19
dynamically typed languages Seaside: A Flexible Environment for Building Dynamic Web Applications
... About the Authors Stéphane Ducasse is a full professor in L ISTIC (Laboratoire d’Informatique, Systèmes, Traitement de l’Information et de la Connaissance) at Université de Savoie, where he leads the Language and ...
8
EXTENDING JAVA VIRTUAL MACHINE TO IMPROVE PERFORMANCE OF DYNAMICALLY-TYPED LANGUAGES. Yutaka Oiwa. A Senior Thesis
... environment. It reads sequence of virtual machine instructions called bytecode from file or through user-supplied routine, and execute it with compilation or interpreta- tion. The JVM is designed as stack-based virtual ...
34
Preemptive type checking in dynamically typed programs
... dynamic languages but instead it presents a technique to re-structure compiled programs in such a way that dominant traces can be executed without ...to dynamically typed- languages [44, ...
163
Compile-time meta-programming in a dynamically typed OO language.
... statically typed languages allow class fields to be treated as normal variables ...many dynamically typed languages take a similar approach to Converge and should be equally immune to ...
15
Type Inference to Optimize a Hybrid Statically and Dynamically Typed Language
... Dynamically typed languages are becoming increasingly popular for different software development scenarios such as Web engineering, rapid prototyping, or the construction of applications that require ...
25
Implementing Statically Typed Object-Oriented Programming Languages
... This article reviews the various implementation techniques available in static typing and in the three cases of single inheritance, multiple inheritance, and multiple subtyping. This language- independent survey focuses ...
80
Efficient implementations of machine vision algorithms using a dynamically typed programming language
... 1.2 Dynamically Typed Languages The benefits of using an interpreted language are quite ...statically typed languages and dynami- cally typed ...statically typed if all ...
216
Typed Intermediate Languages
... Safety and minimal trust All of the three intermediate languages enforce the basic safety properties including type, control-flow, and memory safety. They all require a garbage collector at runtime for safe ...
34
Software Agitation of a Dynamically Typed Language
... 26 interest, and thus require knowledge of variables in scope. The constructs supported for this purpose include if-elif-else blocks, try-except blocks, with blocks, while loops, and for loops 1 . In many ...
45
Storage Allocation in Typed Languages
... On the IBM 370, for example, a storage unit would probably be an 8-bit byte, on the CDC 6600 a 60-bit word; the size of a storage unit and its internal structure will not concern us fu[r] ...
10
Integrating SELinux with Security-typed Languages
... {phicks,ruedarod,tjaeger,mcdaniel}@cse.psu.edu Abstract Traditionally, operating systems have enforced MAC and in- formation flow policies with minimal dependence on appli- cation programs. However, there are many cases ...
8
Adding Traits to (Statically Typed) Languages
... statically typed languages, another important issue is the relationship between traits and ...these languages, every class also defines a type, and so one could argue that also every trait should ...
44
Compiling dynamic languages via statically typed functional languages
... Unlike Jython, our implementation primarily aims to achieve high performance (Section 8.4). • IronPython is a Python implementation for Microsoft's .NET infrastructure [20]. It compile[r] ...
196
Information flow analysis for a dynamically typed language with staged metaprogramming
... Martin Lester a,∗ , Luke Ong a , and Max Schäfer b a Department of Computer Science, University of Oxford, Parks Road, Oxford, OX1 3QD, UK b Semmle Limited, Blue Boar Court, 9 Alfred Street, Oxford, OX1 4EH, UK Abstract. ...
62