Programming Language Theory Flashcard
Which desirable properties should hold for most systems, which would not?
Books
Decklanguage theory
Question
Which desirable properties should hold for most systems, which would not?
Answer
Should hold:
Desired property: Determinacy of one-step evaluation relation.
Desired property: Uniqueness of normal forms.
Desired property: Value is in normal form.
Might not hold:
Desired property: Normal form implies values.
Desired property: Termination of evaluation.