Programming Language Theory FlashcardWhatProperties 3Hide BooksChapter 3. Untyped arithmetic expressions ConceptsAxiomatic semantics Decklanguage theoryQuestionWhat's the idea of axiomatic semantics?AnswerDefine a language by its rules/laws instead of by how it runs or what it denotes. Previous in FlashcardsWhatNext in Flashcards What