Now showing items 1-2 of 2
A Constraint-Based Method For Flow-Sensitive Static Type Analysis Of PHP Using The Rascal Meta-Programming Platform
(East Carolina University, 2015)
PHP is a dynamically typed language, and is very popular among developers for building websites. The dynamic features of PHP allow for many kinds of type related errors to be made by developers. Since PHP does not feature ...
Applying Mutable Object Snapshots to a High-level Object-Oriented Language
(East Carolina University, 2018-11-30)
Software Engineers are familiar with mutable and immutable object state. Mutable objects shared across modules may lead to unexpected results as changes to the object in one module are visible to other modules sharing the ...