Abstract machines; Abstract interpretation; Monads; Operational semantics; Collecting semantics; Abstract garbage collection; Interpreters; Languages; Theory;
机译:单子抽象解释器
机译:Monadic抽象口译员
机译:抽象的隐马尔可夫模型:定量信息流的单子帐户
机译:Monadic抽象口译员
机译:可靠的嵌入式硬件系统的抽象解释器建模和验证方法。
机译:口译障碍和口译员面试中的并发症比例
机译:单子抽象解释器