Bitte wählen Sie ihr Lieferland und ihre Kundengruppe
Ziel ist es, die semantische Beschreibung einer gegebenen Sprache in eine andere Beschreibung zu transformieren. Dabei kann man sich auf die weitgehenden Studien ueber direkte und kontinuierliche Semantiken stuetzen. Das erste Problem ist, dass die semantischen Objekte einer Sprache sehr verschieden voneinander sein koennen. Zum Beispiel sind Funktionswerte von Prozeduren in direkter Semantik sehr verschieden von Funktionswerten in kontinuierlicher Semantik. Milne und Reynolds haben nun Methoden entwickelt, diese beiden Funktionswerte in Beziehung zueinander zu setzen. Ausgehend von diesen Methoden werden Transformationen definiert. Die Transformationen werden dann benutzt, um kontinuierliche Semantiken zu erzeugen, wobei man von direkten Semantiken ausgeht.