Browsing Mathematics (Faculty of) by Subject "Programming languages"
Now showing items 1-2 of 2
-
Efficient Pointer Analysis of Java in Logic
(University of Waterloo, 2017-05-16)Points-to analysis for Java benefits greatly from context sensitivity. CFL-reachability and k-limited context strings are two approaches to obtaining context sensitivity with different advantages: CFL-reachability ... -
Formal Semantics and Mechanized Soundness Proof for Fast Gradually Typed JavaScript
(University of Waterloo, 2018-08-31)As dynamic scripting languages are increasingly used in industry in large-scale projects, a need has arisen for more some of the convenient features of statically typed languages. This led to the development of gradual ...