首页> 外文学位 >文献详情

【24h】

階層グラフ書換え言語LMNtalの書換えにおける全称量化の導入

机译：在层次图重写语言LMNtal的重写中引入通用量化

获取原文

获取原文并翻译 | 示例

页面导航

著录项
相似文献
相关主题

著录项

作者
齋藤諒人;
展开▼
作者单位

早稲田大学;

展开▼
授予单位早稲田大学;
学科
学位修士
年度 2020
页码 1-68
总页数 68
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. 動的型付き手続き型言語の変更影響分析ざと振る舞い同定のためのラムダグラフ書き換え系に向けて [J] . 山本晃治電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science . 2017,第248期

机译：动态型程序语言语言效应分析分析的变化
2. 動的型付き手続き型言語の変更影響分析ざと振る舞い同定のためのラムダグラフ書き換え系に向けて [J] . 山本晃治電子情報通信学会技術研究報告. ディペンダブルコンピュ-ティング. Dependable Computing . 2017,第249期

机译：动态型程序语言语言效应分析分析的变化
3. リーディング·リカバリー·プログラムにおける言語スキルの位置一入門期の読み書きの指導に焦点をあてて－ [J] . 樋口とみ子, Tomiko HlGUCHI 京都教育大学紀要 . 2007,第111期

机译：语言技能在阅读恢复程序中的位置-以入门阅读和写作教学为重点-
4. 階層グラフ書換え言語LMNtal の表現力向上に向けたパターンマッチングモデルとその実現 [C] . 齋藤諒人, 上田和紀情報処理学会;情報処理学会全国大会 . 2018

机译：模式匹配模型及其在提高层次图重写语言LMNtal表达能力中的实现
5. 階層グラフ書き換え言語LMNtalにおける状態間同値関係を用いたモデル抽象化 [D] . 冨岡太一 2019

机译：使用分层图重写语言LMNtal中状态之间的等价关系的模型抽象
6. グラフ書換え言語LMNtalにおけるグラフ型検査およびルール型保存性検査 [O] . 吉元佑介 2017

机译：图形重写语言LMNtal中的图形类型检查和规则类型保守性检查

获取原文

联系方式：18141920177 (微信同号)

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号