咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 3 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

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

主题

  • 3 篇 逻辑式语言
  • 1 篇 函数式
  • 1 篇 polylog语言
  • 1 篇 程序语言
  • 1 篇 高阶函数式语言
  • 1 篇 函数定义
  • 1 篇 程序设计风格
  • 1 篇 执行模型

机构

  • 1 篇 吉林大学
  • 1 篇 复旦大学

作者

  • 1 篇 赵沁平
  • 1 篇 徐凯
  • 1 篇 金成植
  • 1 篇 章萃
  • 1 篇 宋立彤
  • 1 篇 王丹茹

语言

  • 3 篇 中文
检索条件"主题词=逻辑式语言"
共 3 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于CCS执行模型的逻辑式语言POLYLOG的设计与实现
收藏
分享
引用
软件学报 1992年 第2期3卷 1-8页
作者： 徐凯 章萃 复旦大学计算机科学系 上海200433
本文解决了逻辑式程序设计语言中的二个问题:并行执行模型的选择、语言的执行功效与其使用方便灵活之间的权衡,我们提出了对Algorithm=Logic+Control的新理解, 设计并实现了新型逻辑式语言POLYLOG,在POLYLOG中,我们引进了元级控制的概念... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
高阶函数式语言到逻辑式语言的转换
收藏
分享
引用
软件学报 1996年 第10期7卷 611-615页
作者： 宋立彤 金成植 王丹茹 吉林大学计算机科学系
本文给出高阶函数式语言到Ｐｒｏｌｏｇ语言的一种转换技术．其中主要用到抽象闭包分析、Ｌａｍｂｄａ提升、顺序化以及Ｐｒｏｌｏｇ中的Ｃａｌ技术．
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
逻辑式与函数式两种程序设计风格的结合
收藏
分享
引用
北京航空航天大学学报 1988年 第4期 51-57页
作者： 赵沁平
本文比较了逻辑式和函数式两种程序设计语言本质上的异同;介绍了KLND语言中这两种程序设计风格的结合并给出了其实现的策略。
来源： 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件