Programming Language Theory FlashcardWhat is operational semantics?Properties 3Hide BooksChapter 3. Untyped arithmetic expressions ConceptsOperational semantics Decklanguage theoryQuestionWhat is operational semantics?AnswerA style of semantics that defines a language by how it runs using syntactic transformation. Previous in FlashcardsWhat is notation scope in rocq? how to explicitly specify them?Next in Flashcards What is parallel/simultaneous let?