词典论坛联络

Google | Forvo | +

contract-based programming facilities

强调
编程 средства контрактного программирования (allowing the programmer to specify preconditions, and/or postconditions for subprograms, and invariants for encapsulated (private) types; корпорации AdaCore Alex_Odeychuk)

增加 | 报告错误 | 获取短网址