Töötame selle nimel, et taastada Unionpedia rakendus Google Play poes
VäljuvSaabuva
🌟Lihtsustasime oma kujundust paremaks navigeerimiseks!
Instagram Facebook X LinkedIn

Abstraktne interpretatsioon

Index Abstraktne interpretatsioon

Abstraktne interpretatsioon (inglise keeles abstract interpretation) on informaatika teooria arvutiprogrammide semantika korrektseks lähendamiseks, põhinedes monotoonsetel funktsioonidel üle osaliselt järjestatud hulkade, eelkõige võrede.

Sisukord

  1. 1 seoses: Baitkood.

Baitkood

Baitkood (ingl. bytecode, mõnikord ka p-kood, p-kood porditavast koodist, ingl. portable code) on käsustiku vorm, mis on projekteeritud tõhusaks käivitamiseks tarkvaralise interpretaatori poolt.

Vaata Abstraktne interpretatsioon ja Baitkood