Jisho

×
操作的意味論
Links
Wikipedia definition
1. Operational semantics​In computer science, operational semantics is a way to give meaning to computer programs in a mathematically rigorous way. Operational semantics are classified into two categories: structural operational semantics (or small-step semantics) formally describe how the individual steps of a computation take place in a computer-based system. By opposition natural semantics (or big-step semantics) describe how the overall results of the executions are obtained.
Read “Operational semantics” on English Wikipedia
Read “操作的意味論” on Japanese Wikipedia
Read “Operational semantics” on DBpedia

Discussions

to talk about this word.