Operational semantics
id:
operational-semantics-246-10558656
title:
Operational semantics
text:
Operational semantics is a category of formal programming language semantics in which certain desired properties of a program, such as correctness, safety or security, are verified by constructing proofs from logical statements about its execution and procedures, rather than by attaching mathematical meanings to its terms. Operational semantics are classified in two categories: structural operational semantics formally describe how the individual steps of a computation take place in a computer-b
brand slug:
wiki
category slug:
encyclopedia
description:
Category of formal programming language semantics
original url:
https://en.wikipedia.org/wiki/Operational_semantics
date created:
date modified:
2024-04-24T11:41:56Z
main entity:
{"identifier":"Q1930895","url":"https://www.wikidata.org/entity/Q1930895"}
image:
fields total:
13
integrity:
14