这些语言中的检查过程被称为动态检查 (dynamic checking)；LISP是动态检查语言。这些语言是强检 查的，即使它们既没有静态检查也没有类型系统。
基于78个网页-相关网页
The verifiability of program can be implemented via contract runtime checking or static verify.
可以通过对契约条件进行动态检查或静态验证的方式来实现程序的可验证性。
参考来源 - 基于契约式设计的VeriJava编程语言设计·2,447,543篇论文数据，部分数据来源于NoteExpress
我们可以对中介进行修改，使用 SDO API 的一些强大功能来以更为动态的方式检查传入消息，从而避免此类缺陷。
What we can do is modify our mediation to avoid these kind of pitfalls by using some of the powerful features of the SDO API to inspect the incoming message in a more dynamic fashion.
例如，可以通过以下方式执行授权检查：将操作参数传递给EJB方法调用，以允许动态确定授权检查。
For example, the authorization check could be performed by passing operational parameters on an EJB method call, enabling the authorization check to be dynamically determined.
Debasish Ghosh提倡使用这种解决方法，而不是试图实现动态类型检查。
Debasish Ghosh advocates for using this kind of solutions rather than trying to achieve dynamic type checking.
应用推荐