BRIGS Department of Computer Science University of Aarhus;
interpreters; abstract machines; closure conversion; transformation into continuation-passing style (CPS); defunctionalization;
机译:具有计算效果的语言的单子评估器和抽象机之间的功能对应
机译:按需求值者与惰性抽象机之间的功能对应
机译:关于混合(或分层)规范化器与抽象机之间的句法和功能对应
机译:评估员和抽象机之间的功能对应关系
机译:自动化抽象机器的抽象解释
机译:对TITLINE / ABSTRION筛选的基于机器学习的优先级探测工具的评估 - 对审核相关成果的影响
机译:具有计算效果的语言的单子评估器和抽象机之间的功能对应