Departamento de Sistemas Informaticos y Programacion Universidad Complutense de Madrid, Spain Avda. Complutense s, 28040 Madrid;
functional programming; abstract machines; operational semantics; compiler verification;
机译:从自然语义到C:两个STG机器的形式派生
机译:在Coq中验证的STG机器的系统推导
机译:感应电机直接转矩控制的形式推导
机译:正式派生STG机器
机译:机器参与正式推理:提高自动化形式协助和验证系统的可用性。
机译:Aurone衍生的Azadienes的不寻常的正式迁移环形加速:苯并呋喃熔融氮杂环的合成
机译:在COQ中核实STG机器的系统推导
机译:使用sTG展开来推导gC元素的设置和重置覆盖以及标准C Implmentation。