Sokan gondoltak mar, hogy ertenek a PHP-hez, de nem feltetlen trivialis semmi, ha szemantikarol van szo:
Daniele Filaretti and Sergio Maffeis: An executable formal semantics of PHP
"As a concrete example, in order to prove that the result of calling PMA_isValid with $type="numeric" is true when $var is an integer , we provide the symbolic input #symInt(x) to $var , and the concrete input "numeric" to $type . We proved analogous results for the case of float variables, and for the other similar cases. We proved that PMA_is_Valid($var, "similar", $compare) returns true for any
integer $var and string $compare , by providing symbolic values #symInt(x) and #symString(y) to $var and $compare ."
Sokan gondoltak mar hogy ertenek az OOP-hez, de ez sem feltetlen trivialis, ha szemantikarol van szo. Egy egyszeruen mondhato UML Class diagrambol indulva 15 nyelv OOP implementacioja 11 fele eredmenyt adott:
http://public.enst-bretagne.fr/~beugnard/papiers/lb-sem.shtml
Nem veletlenul tema a forditoprogramok a felsooktatasban, kell a mentalis modell amihez kapcsolhatja (legalabb nagy vonalakban) mi, miert, hogyan mukodik.