An Executable Formal Semantics of PHP
No abstract available.
Related papers
- Copy-on-write in the PHP language POPL 2009
- HappyJIT: a tracing JIT compiler for PHP DLS 2011
- HHVM JIT: a profile-guided, region-based compiler for PHP and Hack PLDI 2018
- Static optimization in PHP 7 CC 2017
- Stranger: An Automata-Based String Analysis Tool for PHP TACAS 2010
- Framework for Static Analysis of PHP Applications ECOOP 2015
- Verified Interpreters for Dynamic Languages with Applications to the Nix Expression Language ICFP 2025
- The HipHop compiler for PHP OOPSLA 2012