Interpretations

Interpretations (Overall)

Some important considerations in designing interpretations are ...

Design of Sort Interpretations. Most are quotients over a constructed sort (often a subsort).

Sort as quotient of subsort

Recursive sort as non-recursive sort

Interpretations Index

• Bag Interpretations
• Binary-Tree Interpretations
• Map Interpretations
• Numeric Interpretations
• Sequence Interpretations
• Set Interpretations

SpecWeb Index