Dept. of Computer Science, Iowa State University;
Dept. of Computer Science, Iowa State University;
Dept. of Computer Science, Iowa State University;
Dept. of Computer Science, Iowa State University;
safe implicit concurrency; modularity;
机译:隐式调用满足安全隐式并发
机译:带有隐式声明的隐式调用的类型和模块
机译:使用源转换对隐式调用系统进行测试和模型检查
机译:隐式调用符合安全,隐含的并发性
机译:隐式调用语言及其实现。
机译:对性伴侣并发的内隐态度因性取向而异,而不随性别而变—比利时学生的横断面研究
机译:隐式调用符合安全,隐式并发