Now showing items 1-2 of 2

    • Practical Analysis of the Dynamic Characteristics of JavaScript 

      Wei, Shiyi (Virginia Tech, 2015-10-05)
      JavaScript is a dynamic object-oriented programming language, which is designed with flexible programming mechanisms. JavaScript is widely used in developing sophisticated software systems, especially web applications. ...
    • Runtime Verification and Debugging of Concurrent Software 

      Zhang, Lu (Virginia Tech, 2016-07-29)
      Our reliance on software has been growing fast over the past decades as the pervasive use of computer and software penetrated not only our daily life but also many critical applications. As the computational power of ...