A HUME (Higher-order Unified Meta-Environment) egy erősen típusos, funkcionális alapú nyelv, amely beépített eszközkészlettel rendelkezik konkurens, korlátozott erőforrásfelhasználású alkalmazások fejlesztéséhez, azok bizonyításához és kiértékeléséhez, úgymint beágyazott és biztonságkritikus rendszerekhez. A nyelv célkitűzése, hogy a struktúráját kiterjessze, az absztrakció és a bizonyítás új szintjeit vezetve be ezáltal. A HUME így szokatlan módon ötvözi a funkcionális programozás és a véges automatákkal kapcsolatos elgondolásokat.

Szakirodalom

Linkek

• http://www-fp.cs.st-andrews.ac.uk/hume/index.shtml

Szerzők

• Veisz Adrienn