咨询与建议

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 1 篇 implicit computa...
  • 1 篇 theory of comput...
  • 1 篇 program interpre...
  • 1 篇 space and time r...
  • 1 篇 theory of comple...

机构

  • 1 篇 université de lo...

作者

  • 1 篇 bonfante guillau...

语言

  • 1 篇 英文
检索条件"主题词=theory of complexity and recursion"
1 条 记 录,以下是1-10 订阅
排序:
Course of value distinguishes the intentionality of programming languages
Course of value distinguishes the intentionality of programm...
收藏 引用
2nd Symposium on Information and Communication Technology, SoICT 2011
作者: Bonfante, Guillaume Université de Lorraine Nancy France
In this contribution, we propose to study the transformation of first order programs by course of value recursion. Our motivation is to show that this transformation provides a separation criterion for the intentional... 详细信息
来源: 评论