A Transformation System for Developing Recursive Programs 论文

1977Journal of the ACM引用 1314

Logic, programming, and type systemsFormal Methods in VerificationParallel Computing and Optimization Techniques

Parallel Computing and Optimization Techniques Logic, programming, and type systems Formal Methods in Verification

相关技术:Formal Methods in Verification Parallel Computing and Optimization Techniques

A Transformation System for Developing Recursive Programs · 相关文章

暂无数据