Typsäkerhet

Från Wikipedia
Typsystem
Allmänt
Huvudkategorier
Övriga kategorier
Se även
v • r

Typsäkerhet är en garanti inom ett programspråk som förhindrar eller omöjliggör typfel.

För att åstadkomma en sådan garanti behöver programspråket ett typsystem samt ett typkollsprogram (en: type checker) som kan avgöra om ett visst program är typsäkert.[1]

Referenser[redigera | redigera wikitext]

  1. ^ Pierce, Benjamin C. (2002). Types and programming languages. MIT Press. ISBN 0-585-44269-X. OCLC 51958338. https://www.worldcat.org/oclc/51958338. Läst 24 november 2019 
Hämtad från ”https://sv.wikipedia.org/w/index.php?title=Typsäkerhet&oldid=54170974”