Evolution and development of high-level modeling languages integrating programming lanuguage technologies

集成编程语言技术的高级建模语言的演变和发展

基本信息

  • 批准号：
    18H03223
  • 负责人：
    Ueda Kazunori
  • 金额：
    $ 10.48万
  • 依托单位：
    Waseda University
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
  • 财政年份：
    2018
  • 资助国家：
    日本
  • 起止时间：
    2018-04-01 至 2021-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
純粋型なし・型付きラムダ計算の実用的かつ高機能なインタプリタの実装
实现一个实用且高性能的纯无类型和类型 lambda 演算解释器
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Naoki Yamamoto;Kazunori Ueda
  • 通讯作者：
    Kazunori Ueda
参照を用いたデータ構造の形状のユーザ定義の型に基づく型検査
使用引用基于数据结构形状的用户定义类型进行类型检查
  • DOI：
  • 发表时间：
    2022
  • 期刊：
  • 影响因子：
    0
  • 作者：
    佐野 仁;上田 和紀
  • 通讯作者：
    上田 和紀
グラフの内包記法の実現に向けたLMNtalにおけるメッシュ構造の定義検討
检查LMNtal中网格结构的定义，实现图理解方法
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    田村 滉明;上田 和紀;冨岡 太一
  • 通讯作者：
    冨岡 太一
グラフ書き換え言語LMNtalにおける非連結サブグラフパターンマッチング高速化手法
图重写语言LMNtal中的断开子图模式匹配加速方法
  • DOI：
  • 发表时间：
    2021
  • 期刊：
  • 影响因子：
    0
  • 作者：
    佐野 仁;上田 和紀;佐野 仁，上田 和紀;中田 昌輝，上田 和紀
  • 通讯作者：
    中田 昌輝，上田 和紀
Introducing Negation and Universal Quantification into the Graph Rewriting Language LMNtal
将否定和通用量化引入图重写语言 LMNtal
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Risa Kimura;Tatsuo Nakajima;Ryoto Saito and Kazunori Ueda
  • 通讯作者：
    Ryoto Saito and Kazunori Ueda
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Ueda Kazunori其他文献

Multi-overlay information management for IoT-oriented P2P network applications
面向物联网的P2P网络应用的多重叠加信息管理

Ueda Kazunori的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

{{ truncateString('Ueda Kazunori', 18)}}的其他基金

Developing highly functional 3D-printing technologies supported by advanced programming methodologies
开发由先进编程方法支持的高性能 3D 打印技术
  • 批准号：
    18K19788
  • 财政年份：
    2018
  • 资助金额：
    $ 10.48万
  • 项目类别：
    Grant-in-Aid for Challenging Research (Exploratory)
Deepening the implemenation technology of high-level modeling language implementations integrated with verifiers
深化与验证器集成的高级建模语言实现的实现技术
  • 批准号：
    26280024
  • 财政年份：
    2014
  • 资助金额：
    $ 10.48万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)

相似海外基金

強力なデータ構造と並行性をもつ高水準言語の解析・実装技法の多面的開拓
多方面开发具有强大数据结构和并发能力的高级语言的分析和实现技术
  • 批准号：
    23K11057
  • 财政年份：
    2023
  • 资助金额：
    $ 10.48万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
項書き換え理論，証明論，及びそれらの計算量理論における未解決問題への応用
术语重写理论、证明理论及其在复杂性理论中未解决问题的应用
  • 批准号：
    13J00726
  • 财政年份：
    2013
  • 资助金额：
    $ 10.48万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
Automatic Synthesis of Process Calculus Using Abstraction
使用抽象自动综合过程演算
  • 批准号：
    23650066
  • 财政年份：
    2011
  • 资助金额：
    $ 10.48万
  • 项目类别：
    Grant-in-Aid for Challenging Exploratory Research
Formalization of origami and origami-programming based on algebraic graph rewriting
基于代数图重写的折纸形式化和折纸编程
  • 批准号：
    22650001
  • 财政年份：
    2010
  • 资助金额：
    $ 10.48万
  • 项目类别：
    Grant-in-Aid for Challenging Exploratory Research
Research on development of synthesis system for multivariable numerical function generators
多变量数值函数发生器综合系统开发研究
  • 批准号：
    20700051
  • 财政年份：
    2008
  • 资助金额：
    $ 10.48万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了