e/es/Compilador verificante

Information
instance of	(noun) (computer science) a program that decodes instructions written in a higher order language and produces an assembly language program compiler, compiling program

Meaning
Castilian
has gloss	spa: Compilador verificante es un gran reto propuesto por C. A. R. Hoare.
lexicalization	spa: compilador verificante