Other attributes
Wikidata ID
No article content yet.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.
Operational semantics
Category of formal programming language semantics in which certain desired properties of a program are verified by constructing proofs from logical statements about its execution, procedures,rather than by attaching mathematical meanings to its terms
Find more entities like Operational semantics
Use the Golden Query Tool to find similar entities by any field in the Knowledge Graph, including industry, location, and more.
By using this site, you agree to our Terms of Service.