KPHP:PHP 5的可执行形式语义

KPHP-PHP的可执行形式语义 KPHP是K框架中定义PHP 5的可执行形式语义。 有关深入信息，包括高层次概述，学术论文链接和在线界面，请访问 。 有关K的一般信息，请访问 。 KPHP的分步安装说明和示例可在“ src”文件夹中找到。