Department of Computer Science University of British Columbia Vancouver, BC, Canada;
Department of Computer Science University of British Columbia Vancouver, BC, Canada;
registration; fluid AOP; programming tools;
机译:基于注册的语言抽象
机译:生理建模语言的抽象
机译:用于建模语言的可重用抽象
机译:基于注册的语言抽象
机译:抽象是编程的关键,并涉及功能语言中的软件验证问题。
机译:癌症治疗毒性抽象的自然语言处理:准确性与人类专家
机译:一站式语言的常规抽象的复杂性