A Sound and Relatively * Complete Hoare-Logic for a Language With Higher Type Procedures.评价结果

评估详情

3