2015 · 15 citations · 20 references
ComputingComputer ScienceProgramming LanguagesSoftware EngineeringSystems ProgrammingApplication Programming InterfacesType CheckingType Systems
PHP is by far the most popular WEB scripting language, accounting for more than 80% of existing websites. PHP is dynamically typed, which means that variables take on the type of the objects that they are assigned, and may change type as execution proceeds. While some type changes are likely not harmful, others involving function calls and global variables may be more difficult to understand and the source of many bugs. Hack, a new PHP variant endorsed by Facebook, attempts to address this problem by adding static typing to PHP variables, which limits them to a single consistent type throughout execution.
20
The TXL source transformation language
James R. Cordy · Science of Computer Programming · 2006 · 358 citations
The Soot framework for Java program analysis: a retrospective
Patrick Lam, Eric Bodden, Ondřej Lhoták et al. · 2011 · 294 citations