phpsemantics.org
phpsemantics.org is a live website hosted on Akamai Connected Cloud (AS63949) in the United Kingdom, served by Apache. cl0q first saw it on 2026-05-15 and last crawled it on 2026-07-03. It resolves to 178.79.130.100 and has mail (MX) records set up.
How the site describes itself:
KPHP: An Executable Formal Semantics for PHP
KPHP: An Executable Formal Semantics for PHP
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2026-05-15 |
| Last crawled | 2026-07-03 |
| IPv4 | 178.79.130.100 |
| Network | AS63949 Akamai Connected Cloud · United Kingdom |
| CNAME | phpsemantics.org |
| Mail (MX) | eforward1.registrar-servers.com.,eforward3.registrar-servers.com.,eforward2.registrar-servers.com.,eforward4.registrar-servers.com.,eforward5.registrar-servers.com. |
| Server | Apache |