Algorithms; Design; Languages; Programming Languages; Spatial Computing; Swarm Robotics;
机译:模块化验证分布式系统的编程语言抽象
机译:Grimmer等人的“多语言运行时中的跨语言互操作性”勘误,《 ACM Transactions on Programming Languages and Systems(TOPLAS)Volume 40,Issue 2,Article No. 8》
机译:编程语言或系统的程序漏洞中的时间问题
机译:ProtosWarm:使用非晶介质抽象编程多机器人系统的语言
机译:抽象是编程的关键,并涉及功能语言中的软件验证问题。
机译:I.信息技术在医疗保健中的应用中的一些问题:医疗信息系统编程-标准化的作用以及编程语言向自然语言交互发展的动力
机译:模块化验证的分布式系统的编程语言抽象
机译:抽象问题对现代编程语言的影响。