General Predicate Transformer and the Semantics of a Programming Language With Go To Statement.评价结果

评估详情