New reational program semantics based on the notion of continuations and contexts

基于延续和上下文概念的新理性程序语义

• 批准号: 16K12409
• 负责人: Sumii Eijiro
• 金额: $ 2.33万
• 依托单位: Tohoku University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Challenging Exploratory Research
• 财政年份: 2016
• 资助国家: 日本
• 起止时间: 2016-04-01 至 2019-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-16K12409/
• 关键词: 継続; （評価）文脈; プログラム等価性; call/cc; λ計算; （環境）双模倣; 評価文脈; 環境双模倣; 名前呼び・必要呼び; セキュリティ型; 条件分岐・if文; 必要呼び; 名前呼び; 遅延評価; 評価戦略; Call/cc; 継続演算子; プログラミング言語理論; プログラム理論; ソフトウェア基礎; 継続(continuation)

项目成果

Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name

• DOI: 10.1007/978-3-319-90686-7_1
• 发表时间: 2018-05
• 作者: Masayuki Mizuno;Eijiro Sumii

Progress report: Ruby 3における静的型解析の実現に向けて

进度报告：迈向 Ruby 3 中静态类型分析的实现

• 发表时间: 2019
• 作者: 遠藤 侑介;松本 宗太郎;上野 雄大;住井 英二郎;松本 行弘
• 通讯作者: 松本 行弘

A Sound and Complete Bisimulation for Contextual Equivalence in λ-Calculus with Call/cc

具有 Call/cc 的 λ 演算中上下文等价的健全且完整的互模拟

• DOI: 10.1007/978-3-319-47958-3_10
• 发表时间: 2016
• 期刊: Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, Lecture Notes in Computer Science
• 作者: Taichi Yachi;Eijiro Sumii
• 通讯作者: Eijiro Sumii