Adequate Models for Recursive Program Schemes Adequate Models for Recursive Program Schemes

@inproceedings{Ernst1989AdequateMF,
  title={Adequate Models for Recursive Program Schemes Adequate Models for Recursive Program Schemes},
  author={Michael D. Ernst},
  year={1989}
}
This thesis is a pedagogical exposition of adequacy for recursive program schemes in the monotone frame. Adequacy relates the operational and denotational meanings of a term; it states that for any term of base type, the operational and denotational meanings are identical. Adequacy is typically proved in the continuous frame. This is a pedagogically… CONTINUE READING