Programming Language Theory Flashcard
What is a rule schema and its relation with concrete rules?
Books
Concepts
Decklogic tools
Question
What is a rule schema and its relation with concrete rules?
Answer
A rule schema is synonymous with inference rule, representing a generic rule with metavariables.
A concrete rule is an instance of a rule schema.