Universidade do Minho;
Institute of Cybernetics at Tallinn University of Technology;
Institute of Cybernetics at Tallinn University of Technology;
mechanical transformation of program proofs; program analyses and optimizations; program logics; type systems;
机译:数据流分析为效果和分级MONADS
机译:类型系统等效于命令性语言的数据流分析
机译:印度库马恩州小喜玛拉雅山Almora Klippe的一部分的主动双向构造倾斜:地貌指数统计分析的见解
机译:双向数据流分析,系统键入
机译:人,双向自我谈话与双向命名的双向口头操作者的比较
机译:偏头痛与纤维肌痛之间的双向关联:两个人群的回顾性队列分析
机译:系统类型的双向数据流分析
机译:干燥过程中离体叶片内部的相对含水量,双向反射率和双向透射率。