Assembler routines; Editing routines (Computers); On-line programming; On-line systems; Algol; Basic (Programming language); Computer networks; Computer systems performance; Interprocessor communication;
机译:编程语言或系统的程序漏洞中的时间问题
机译:Grimmer等人的“多语言运行时中的跨语言互操作性”勘误,《 ACM Transactions on Programming Languages and Systems(TOPLAS)Volume 40,Issue 2,Article No. 8》
机译:Matita交互式定理证明中编程语言的形式元理论
机译:使用关于多种编程语言的图像处理的视觉交互式学习系统
机译:用于数据以数据为中心的终端用户编程的语言和可视化工具,其交互式可视化设计
机译:I.信息技术在医疗保健中的应用中的一些问题:医疗信息系统编程-标准化的作用以及编程语言向自然语言交互发展的动力
机译:在正式系统中证明Algol-Like程序的正确性
机译:aLGOL类程序中的潜在功能。