博客专栏  >  编程语言   >  Prolog新长征

Prolog新长征

1A.Prolog征程 1B.Gödel管窥 1C.算法王国 1D.编译春秋

关注
1 已关注
12篇博文
  • 1D.10 年计算机系统结构重点实验室召开年终2008年总结会

    http://www.ict.cas.cn/xwzx/jssxw/200901/t20090105_2116148.html         2008年12月19-20日,计算机系统结构重点实验...

    2012-02-15 17:37
    3041
  • 1D.9 计算所在系统结构基础研究领域取得新突破

    http://www.cas.cn/ky/kyjz/201003/t20100316_2798103.shtml 近日,中国科学院计算技术研究所系统结构基础研究方向喜讯频传,在最高水平的国际学术...

    2012-02-15 17:23
    1709
  • 1D.8 陈莉:中国科学院计算技术研究所

    http://js.caseducation.cn/JS/~lchen#164439 内  容 1 研究领域2 教育背景 2.1 学历 2.1 学位 2.1 ...

    2012-02-15 17:06
    3558
  • 1D.7 张兆庆教授编译组为英特尔开发出开放源码编译器

    http://www.cas.cn/jzd/jcx/jcxwh/200209/t20020905_1034512.shtml     □撰稿人:刘振坤(科学时报社)     中科院计算所编译组...

    2012-02-15 17:00
    4882
  • 1D.6 交叉编译器工具链 XMLVM

    http://www.oschina.net/p/xmlvm XMLVM项目的目标是提供一种灵活的可扩展的交叉编译器工具链(cross-compiler toolchain)。XMLVM...

    2012-02-03 18:13
    1584
  • 1D.5 跨平台编译环境 MinGW

    http://www.oschina.net/p/mingw MinGW:一个可自由使用和自由发布的Windows特定头文件和使用GNU工具集导入库的集合,允许你生成本地的Windows程序而不...

    2012-02-03 18:10
    1292
  • 1D.4 编译器架构LLVM

    http://www.oschina.net/p/llvm LLVM从本质上来说,它不是一个编译器.它是一个编译器的架构.通俗的来说,它实现了一个库,在这个库上,可以很容易的实现不同的编...

    2012-02-03 18:08
    1426
  • 1B.2 Gödel语言实现系统研究现状

    http://www.docin.com/p-92139363.html          逻辑程序用逻辑语言来描述问题,利用归结方法来求得问题的答案。可以把逻辑程序非形式化地概括为:Algo...

    2012-01-31 11:15
    1539
  • 1B.1 Gödel语言的主要创新

    http://www.docin.com/p-92139363.html         由于Prolog所取得的巨大成功,一直以来Prolog都是逻辑程序设计的代称。但是,Prolog基于一阶...

    2012-01-31 10:23
    1522
  • 1D.3 Open64概述

    http://www.open64.net/ Open64已被大家公认的,作为一个工业强度的生产编译器。这是来自世界各地的编译器组的研究贡献的最终结果。前身为Pro64,Open64最初由S...

    2012-01-18 16:38
    1574
  • 1D.2 LLVM概述

    http://llvm.org/ LLVM的项目是一个模块化和可重复使用的编译器和工具链技术的集合。尽管它的名字——LLVM,对于传统的虚拟机来说不太大,但它确实提供了有用的库,可用于构建他...

    2012-01-18 16:16
    2155
  • 1D.1 大师之言——译自《编译器设计之路》

    1. Reliable and transpartent programs are usually not in the interest of the designer. ——Niklaus Wi...

    2011-12-28 17:21
    2137

Windows C/C++/C# 编程
1306376668
FFmpeg
1353639086
经典算法研究
323271555
微软面试100题系列
183180572
Java开发进阶
663047562
img博客搬家
img撰写博客
img专家申请
img意见反馈
img返回顶部