[BOOK][B] Principles of program analysis
Program analysis concerns static techniques for computing reliable approximate information
about the dynamic behaviour of programs. Applications include compilers (for code …
about the dynamic behaviour of programs. Applications include compilers (for code …
Gradual ty** for objects
Static and dynamic type systems have well-known strengths and weaknesses. In previous
work we developed a gradual type system for a functional calculus named λ^?_→. Gradual …
work we developed a gradual type system for a functional calculus named λ^?_→. Gradual …
Dynamically typed languages
L Tratt - Advances in Computers, 2009 - Elsevier
Dynamically typed languages such as Python and Ruby have experienced a rapid grown in
popularity in recent times. However, there is much confusion as to what makes these …
popularity in recent times. However, there is much confusion as to what makes these …
Static Detection of Security Vulnerabilities in Scripting Languages.
Y **: Ten years later
In this day and age, many developers work on large, untyped code repositories. Even if they
are the creators of the code, they notice that they have to figure out the equivalent of method …
are the creators of the code, they notice that they have to figure out the equivalent of method …
Hybrid type checking
C Flanagan - Conference record of the 33rd ACM SIGPLAN-SIGACT …, 2006 - dl.acm.org
Traditional static type systems are very effective for verifying basic interface specifications,
but are somewhat limited in the kinds specifications they support. Dynamically-checked …
but are somewhat limited in the kinds specifications they support. Dynamically-checked …
Compiling polymorphism using intensional type analysis
Traditional techniques for implementing polymorphism use a universal representation for
objects of unknown type. Often, this forces a compiler to use universal representations even …
objects of unknown type. Often, this forces a compiler to use universal representations even …
Interlanguage migration: From scripts to programs
As scripts grow into full-fledged applications, programmers should want to port portions of
their programs from scripting languages to languages with sound and rich type systems …
their programs from scripting languages to languages with sound and rich type systems …
Static type inference for Ruby
Many general-purpose, object-oriented scripting languages are dynamically typed, which
provides flexibility but leaves the programmer without the benefits of static ty**, including …
provides flexibility but leaves the programmer without the benefits of static ty**, including …