Program verification techniques are code-oriented, but most of them are not capable of describing the property of execution time of practical programs.

而对于实际程序，大多数程序验证技术则不适合验证运行时间。

youdao

Nevertheless, there is still the task of writing the Common Business Oriented Language (COBOL) code to translate from an ideal XML message into transaction invocations.

尽管如此，仍然需要存在编写面向商业的通用语言(Common Business Oriented Language, COBOL)代码来将理想的XML消息转换为事务调用的工作。

youdao

You can keep the code object oriented by encapsulating the actual model knowledge within the model itself.

您可以通过将实际的模型知识封装到模型中来保证代码是面向对象的。

youdao

The machine does not allow modifications to its ROM (because it has an O in the middle), but the team was able to use a technique called return-oriented programming to modify how the machine executes existing code, taking the bits they want and, ultimately, devising a way to re-program its behavior by simply inserting a cartridge into a slot -- presumably after blowing on it for good luck.

ENGADGET: Hang your head, Sequoia e-voting machine; you've been hacked again