Computer programming; Debugging(Computers); Environments; Interactions; Polymorphism; Test and evaluation; User needs; Parallel programming languages; Id programming language; Incremental complitation; Overloading; Static semantics;
机译:准上下文敏感语言的动态编程自动机,作为基于模式识别的实时控制专家系统中推理支持的工具
机译:使用约束逻辑编程的Q语言静态类型推断
机译:Toro等人的勘误将“带有引用类型驱动的渐进安全性”,编程语言和系统(TOPLAS)第40卷的ACM交易,第4卷,第16条
机译:功能编程语言的类型推断和类型检查
机译:为类型化的面向对象语言设计类型推断。
机译:I.信息技术在医疗保健中的应用中的一些问题:医疗信息系统编程-标准化的作用以及编程语言向自然语言交互发展的动力
机译:编程语言ID的增量类型推断系统