并行程序证明的英文

• proving of concurrent program

• "并行"英文翻译    parallel; pairing; concurren ...
• "程序"英文翻译    procedure
• "证明"英文翻译    prove; testify; bear out
• "程序证明" 英文翻译 :    program proof; program proving
• "解析程序证明" 英文翻译 :    analytic program proving
• "自动程序证明" 英文翻译 :    automatic program certification
• "并行程序" 英文翻译 :    concurrent program; parallel program
• "并行程序模型" 英文翻译 :    parallel program model
• "并行程序设计" 英文翻译 :    concurrent programming; parallel programming,
• "模块并行程序" 英文翻译 :    modular concurrent program
• "并行程序的同步化" 英文翻译 :    synchronization of parallel programs
• "并行程序设计结构" 英文翻译 :    concurrent programming control; concurrent programming structure
• "并行程序设计语言" 英文翻译 :    parallel programming language
• "模块化并行程序" 英文翻译 :    modular concurrent program
• "并行处理与并行程序设计" 英文翻译 :    parallel processing and parallel programming
• "程序证实" 英文翻译 :    program validation
• "串行程序对应的并行任务" 英文翻译 :    dag
• "编译程序证实" 英文翻译 :    compiler validation
• "程序证实服务程序" 英文翻译 :    program validation service
• "编译程序确认, 编译程序证实" 英文翻译 :    compiler validation
• "可执行程序 执行程序" 英文翻译 :    executableprogram
• "并行分程序" 英文翻译 :    parallel block
• "ast例行程序" 英文翻译 :    ast routine
• "串行程序" 英文翻译 :    serial program
• "带执行程序" 英文翻译 :    tape executive program