English | Russian |
automatic extraction of function contracts from source code | автоматическое извлечение контрактов функций из исходного кода (Alex_Odeychuk) |
function code | код режима работы (напр., код возврата каретки в печатающем устройстве) |
function code | режим работы |