Programming Language Theory FlashcardWhat are the cons of lightweight formal methodsProperties 3Hide BooksChapter 1. Introduction ConceptsType system Decklanguage theoryQuestionWhat are the cons of lightweight formal methodsAnswerNot as strong or general as more heavy-weight methods. Previous in FlashcardsWhat are the cons of classical heavyweight formal methodsNext in Flashcards What are the desirable properties of the evaluation relation there can be in a system?