K

kphp

An executable formal semantics of PHP 5