机译:类似Algol的语言的信息流
Department of Computer Science, King's College, London WC2R 2LS, UK;
program analysis; access control; algol; information flow; flow logic;
机译:类ALGOL语言的可能世界语义的框架化框架
机译:类逻辑语言的分离逻辑打字语义和高阶框架规则
机译:类似于ALGOL的语言的语法定向翻译算法
机译:J Is for JavaScript:使用一流的连续性,类似于Algol的语言和JavaScript之间的直接样式对应
机译:用于科学工作流监控和异常处理的模型,语言和算法
机译:CWL-Airflow:支持通用工作流语言的轻量级管道管理器
机译:类似algol的语言中的对象和类1
机译:pEp:具有类似aLGOL编程语言的交互式编程系统