Compiler correctness
id:
compiler-correctness-261-6603717
title:
Compiler correctness
text:
In computing, compiler correctness is the branch of computer science that deals with trying to show that a compiler behaves according to its language specification. Techniques include developing the compiler using formal methods and using rigorous testing on an existing compiler.
brand slug:
wiki
category slug:
encyclopedia
description:
Branch of computer science
original url:
https://en.wikipedia.org/wiki/Compiler_correctness
date created:
date modified:
2024-01-05T17:43:37Z
main entity:
{"identifier":"Q5156378","url":"https://www.wikidata.org/entity/Q5156378"}
image:
fields total:
13
integrity:
14