1) A Discipline of Programming
《程序设计规范》
2) procedural law design
程序规范设计
3) programming paradigm
程序设计范型
1.
Overview of new programming paradigm
一种新型程序设计范型概述
2.
Also,it discussed in detail the languages which are classified from programming paradigm.
从4个角度对种类繁多的程序设计语言进行了分类,并对不同类型的程序设计语言的特点、应用和现状作了探讨,尤其对按程序设计范型分类的各种语言作了较详细的阐述,对读者全面了解、认识和选择最佳程序设计语言提供了一定的帮助。
4) programmed limit
设计[程序]范围
5) program specification
程序规范
1.
In this paper, we introduce a theoretic model of ADRS system that is used for automatic detection and revision of program specifications.
文中介绍了一个程序规范自动检测与修正系统ＡＤＲＳ的理论模型。
6) procedure norm
程序规范
1.
As far as its content is concerned,anti-trust Law includes entity norm and procedure norm,consisting of immunities items and foreign M&A items.
就内容而言,反垄断法对企业合并的规制应包括实体规范和程序规范两类,其中不乏豁免条款和有关外资并购的法律规定。
补充资料：《程序设计规范》
关于结构程序设计的权威著作，1976年出版。作者E.W.代克斯特拉是结构程序设计的创始人。本书论述的结构程序设计学说是程序设计方法学的基础。全书分两部分，第一部分是基本理论，提出用最弱前置谓词定义语义，并给出相应的结构程序设计语言。作者认为，程序设计是面向目标的推导过程，从问题的形式规定出发，采用逐步求精方法，逐步展开程序，同时作出正确性论证，最后可以获得一个结构清晰和正确的程序。第二部分用大量实例阐明他的思想和使用的各种具体技术。在此书之后出版的一系列程序设计著作，都以这本书为理论基础。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条