Extended static checking
id:
extended-static-checking-265-7969354
title:
Extended static checking
text:
Extended static checking (ESC) is a collective name in computer science for a range of techniques for statically checking the correctness of various program constraints. ESC can be thought of as an extended form of type checking. As with type checking, ESC is performed automatically at compile time. This distinguishes it from more general approaches to the formal verification of software, which typically rely on human-generated proofs. Furthermore, it promotes practicality over soundness, in tha
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Extended_static_checking
date created:
date modified:
2023-09-29T14:29:47Z
main entity:
{"identifier":"Q5421903","url":"https://www.wikidata.org/entity/Q5421903"}
image:
fields total:
13
integrity:
13