Metadata
Author: WikiMatrix
Data
English[en]
Formal semantics is the formal specification of the behaviour of computer programs and programming languages.
Spanish[es]
La Semántica formal es la especificación formar del comportamiento de programas de ordenador y lenguajes de programación.