Programming Language Theory FlashcardHow are types and tests complementary?Properties 2Hide BooksChapter 5. Types Deckprogramming-language-basicQuestionHow are types and tests complementary?AnswerType: Static verification.Test: Dynamic verification. Previous in FlashcardsHow are the hypotheses named if there are multiple in rocq?Next in Flashcards How can a set of evaluation rules enforce an evaluation strategy?