原创 wamcc:將Prolog編譯成C (No.7-6)
6. 績效評估現在讓我們細化wamcc系統的系統並比較其他Prolog系統，無論是學術或商業。 6.1 基準程序 表1給出傳統基準wamcc的表現。
2020-02-21 06:35:34
原创 wamcc:將Prolog編譯成C (No.7-3)
三、現有的邏輯編程譯者我們將在本節詳細介紹Janus，KL1，Erlang和wamcc如何處理控制流。此演示文稿的靈感來自[5]，它採用了堆疊模型的
2020-02-21 06:35:34
原创 wamcc:將Prolog編譯成C (No.7-2)
二、WAM之下 幾十年來勢在必行，功能或邏輯語言的編譯器分解在幾個步驟。特別是使用一個抽象機作爲高層次的源代碼和低層次可執行目標代碼之間的中間層。事實上，自從Pascal和P-代碼，抽象機一直強調作爲編譯過程中的骨幹。邏輯語言這裏也不例外
2020-02-21 06:35:34
3
原创 wamcc:將Prolog編譯成C (No.7-4)
4. wamcc方法 上述三個建議方法的共同點表現爲，同樣在一個單獨模塊內，引發一個大的功能，C編譯器編譯起來很痛苦。如果這些可能，額外的模塊調用比內部模塊調用開銷更大。因此，一段程序分解在模塊的方式，不僅影響編譯時間，而且影響執行時間，
2020-02-21 06:35:34
原创 wamcc:將Prolog編譯成C (No.7-7)
7.結束語 我們已經提出的wamcc的設計方案和實施，一個基於把Prolog編譯成C的完整的Prolog系統。我們表明，這種替代是可行的並具有很多優
2019-10-25 17:57:24
1
原创 1D.10 年計算機系統結構重點實驗室召開年終2008年總結會
http://www.ict.cas.cn/xwzx/jssxw/200901/t20090105_2116148.html 2008年12月19-20日，計算機系統結構重點實驗室在延慶華豐大城堡舉行了年終總結會、聯歡晚
2018-08-22 03:31:05
原创 1B.1 Gödel語言的主要創新
http://www.docin.com/p-92139363.html 由於Prolog所取得的巨大成功，一直以來Prolog都是邏輯程序設計的代稱。但是，Prolog基於一階邏輯的Ho
2018-08-22 03:31:04
原创 如何有效解決C與C++的相互調用問題
http://blog.csdn.net/gobitan/article/details/1532769 在實際工作中可能經常要進行C和C++的混合編程，C++調用C語言的代碼通常都比較容易，但也有一些細節需要注意。C要調用C++
2018-08-22 03:31:04
1
原创 1D.8 陳莉：中國科學院計算技術研究所
http://js.caseducation.cn/JS/~lchen#164439 內 容 1 研究領域2 教育背景 2.1 學歷 2.1 學位 2.1 出國學習工作3 工作經歷 3.1 工作簡歷 3.1 社會兼職4 教授課程
2018-08-22 03:31:04
1
原创 歷屆「Jolt Awards」獲獎書籍
http://www.ppurl.com/forum/thread/1549/ 1990 Annotated C++ Reference Manual. by Margaret Ellis, Bjarne Stroustrup The
2018-08-22 03:31:04
原创 1D.7 張兆慶教授編譯組爲英特爾開發出開放源碼編譯器
http://www.cas.cn/jzd/jcx/jcxwh/200209/t20020905_1034512.shtml □撰稿人：劉振坤(科學時報社) 中科院計算所編譯組自60年代起，承擔了院、國家科研攻關項目，自主
2018-08-22 03:31:03
原创 每個人都在盲人摸象
http://www.globrand.com/2009/257465.shtml 代表我們每個人工作狀態的四個成語故事 每天做着謀劃的工作，調查、研究、判斷、出招，要解決問題，要預測市場反應，時間越長，歷練越多，膽子越小，
2018-08-22 03:31:02
2
原创 《Sicstus Prolog用戶手冊》---進行中
導言 致謝 1. 符號約定 1.1 鍵盤字符 1.2 模式規格 1.3 開發和運行系統 1.4 函數原型 1.5 符合ISO標準 2. 詞彙 3. 如何運行Prolog 3.1 入門開始 3.2 讀程序 3.3 在終端插入 3.4
2018-08-22 03:31:02
4
原创 1D.6 交叉編譯器工具鏈 XMLVM
http://www.oschina.net/p/xmlvm XMLVM項目的目標是提供一種靈活的可擴展的交叉編譯器工具鏈（cross-compiler toolchain)。XMLVM基於Sun的Java虛擬機(Sun Micros
2018-08-22 03:31:01
1
原创 1D.4 編譯器架構LLVM
http://www.oschina.net/p/llvm LLVM從本質上來說,它不是一個編譯器.它是一個編譯器的架構.通俗的來說,它實現了一個庫,在這個庫上,可以很容易的實現不同的編譯相關的程序,當然,編譯器自然是其中最重要的一個
2018-08-22 03:31:01
1