Home›Formal specification languages›operational semantics🌐EnglishEnglishDeutschEspañolFrançaisItalianoPortuguêsTürkçeالعربية한국어中文日本語EntityQ1930895· pop 16· linked from 132 articlesoperational semanticscategory of formal programming language semanticsWikidata factsShow 1 more factStack Exchange tagcstheory.stackexchange.com/tags/operational-semanticsSources (4)wikidata.orglingualibre.frdocs.openalex.orgweb.archive.orgvia Wikidata · CC0Available in 16 languagesEspañolFrançaisDeutsch中文日本語PortuguêsItalianoالعربيةCroatianGreekConnectionsprogramming language semanticsEntityALGOL 68EntityCategoriesFormal specification languagesLogic in computer scienceOperational semanticsProgramming language semantics