KPHP is an Executable Formal Semantics for PHP 5 defined in the K Framework
For in-depth information, including a high-level overview, links to academic papers and an online interface, visit http://phpsemantics.org/. For general information about K, visit http://www.kframework.org/index.php/Main_Page. Step-by-step installation instructions for KPHP and examples can be found in the 'src' folder.