Robert Helgesson har skrivit ett exjobb inom AI/logik. Hans ämne är "institutions" med utgångspunkten i Meseguers berömda artikel från 1989. Han hittar nya vinklar och förslag till tillämpningsområden (bl.a. inom medicinsk informatik!). Det bästa jag har sett på mycket länge, faktiskt. Institutions har alltså sin motiverande bakgrund i ekvationella/funktionella världar´där du jobbar med programmeringsspråk som OBJ (Goguen) och Maude (Meseguer).
Patrik Eklund
Page last modified: January 29 2007 18:48:05.
Copyright © 2011 SAIS
Contact the webmaster