University of Pennsylvania;
University of Pennsylvania;
University of Pennsylvania;
University of Pennsylvania;
University of Pennsylvania;
information flow; noninterference; reactive programming; web applications; web browsers;
机译:为反应式程序键入无干扰
机译:安全系统的非干扰规范
机译:非干扰揭示δ-mnO2朝向中性Zn-Mn电池的“分层分层”锌贮藏机理,具有优异的性能
机译:细颗粒和粗颗粒反应性无干扰
机译:使用C ++模板类型系统对终止敏感的非干扰进行静态执行
机译:高性能的δ-MnO2分层至分层锌存储机制对中性Zn-Mn电池的无干扰揭示
机译:为反应性程序键入非干扰