课题基金 / 基金详情

Operads for domain-specific languages

Operads for domain-specific languages
特定领域语言的操作
批准号：
2303816
负责人：
金额：
$0.0万
依托单位：
University of Nottingham
依托单位国家：
英国
项目类别：
Studentship
财政年份：
2019
资助国家：
英国
项目状态：
已结题
起止时间：
2019 至 --
来源：
https://gtr.ukri.org/projects?ref=studentship-2303816
关键词：
Operadsdomainspecificlanguages

项目摘要

项目成果

相似基金

相关文献

中文摘要
翻译
主要目的/目标：这个项目的目的是研究使用操作符为领域特定语言提供数学基础的想法。方法论：该项目将包括给出特定领域语言的操作模型，并研究该模型的理论和实践。
英文摘要
Key aims/objectives: The aim of this project is to investigate the idea of using operads to provide a mathematical basis for domain-specific languages.Methodology: The project will involve giving an operadic model of domain-specific languages, and investigating the theory and practice of this model.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
国内基金
海外基金
Domain理论中几类T0拓扑空间的幂构造研究
  • 批准号：
    2026JJ81209
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2026
  • 负责人：
    袁珍珠
  • 依托单位：
    长沙师范学院
RB-domain函数空间的相关研究
  • 批准号：
    2026JJ60113
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2026
  • 负责人：
    栾伟
  • 依托单位：
    湖南师范大学
Domain理论中的极大点空间及其应用研究
  • 批准号：
    12571507
  • 项目类别：
    面上项目
  • 资助金额：
    44.00万元
  • 批准年份：
    2025
  • 负责人：
    奚小勇
  • 依托单位：
    盐城师范学院
偏序集的拓扑对偶与拟度量空间的Domain理论刻画
  • 批准号：
    12571502
  • 项目类别：
    面上项目
  • 资助金额：
    44.00万元
  • 批准年份：
    2025
  • 负责人：
    鲁静
  • 依托单位：
    陕西师范大学