Typsäkerhet

Från Wikipedia
Hoppa till navigering Hoppa till sök

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