摘要 合取查詢(xún)（Conjunctive Query, CQ）是OLAP數(shù)據(jù)庫(kù)中的常見(jiàn)操作。本文探討了傳統(tǒng)的聯(lián)結(jié)查詢(xún)處理方法，首先我會(huì)從傳統(tǒng)二元聯(lián)結(jié)（Binary Join）處...
IP屬地：紐約州
-
Conjunctive Query未聞 -
AAM 與 Control Flow Anlaysis中的精度控制0. 總覽 這是一篇過(guò)度冗長(zhǎng)的博客，如果你有心情讀，大不必都看，算是對(duì)我之前workshop paper的一個(gè)背景補(bǔ)充介紹。 什么是CFA 什么是AAM式的CFA算法 不同閉...
-
PL 2015 QE ProofPL QE2015 Claim For all expression , state and , and integer . If then there is a sta...
-
PL 2020-2 QE Prooforiginal question[https://eng-cs.syr.edu/wp-content/uploads/2020/09/CIS-exam-Jan-6-2020...
-
重返動(dòng)態(tài)規(guī)劃
如果你搜索動(dòng)態(tài)規(guī)劃， 那么你能找到的絕大多數(shù)資料都會(huì)告訴你，動(dòng)態(tài)規(guī)劃，是一種把問(wèn)題拆解為子問(wèn)題，然后再利用子問(wèn)題之間的關(guān)系列出狀態(tài)轉(zhuǎn)移方程，最后求把問(wèn)題變成一個(gè)動(dòng)態(tài)決策求最優(yōu)...
-
所以寫(xiě)顯示的類(lèi)型簽名是一個(gè)比較好的習(xí)慣，并且合理的使用ide工具也是不錯(cuò)的選在。
求值和效率我覺(jué)得并沒(méi)有什么直接的關(guān)系。 求值順序是語(yǔ)義層面的，而效率是編譯器層面。使用什么樣的求值更多還是看語(yǔ)義設(shè)計(jì)所面向的想要解決的問(wèn)題。來(lái)自地獄的雜技團(tuán)----函數(shù)與函數(shù)類(lèi)型
我在Structral programming and formal method 的前半部分簡(jiǎn)單的接觸了Haskell的最基本的語(yǔ)法。 但是用haskell寫(xiě)出如此丑陋的代...
-
煉丹安全？一些胡思亂想
下面只是我的思考筆記，所以會(huì)非常自由和不嚴(yán)謹(jǐn)，不論是驗(yàn)證還是AI都不是我的研究方向，存在大量謬誤 最近由于課程原因，我開(kāi)始讀一些神經(jīng)網(wǎng)絡(luò)相關(guān)的東西。 由于我本身的研究還是黑魔...
-
Something I fail to prove ......Pre I had thought I understand how to prove progress in Coq for some simple semantic...
-
安全信息流與2-safety性質(zhì)
Pre 在之前的文章中我簡(jiǎn)單的介紹了一種描述計(jì)算機(jī)安全常用的方式: Non-interference模型(GMNI)。 再用一句話(huà)來(lái)回顧一下什么是non-intererenc...
-
當(dāng)我們談?dòng)?jì)算機(jī)安全的時(shí)候我們?cè)谡勈裁?noninterference)
Pre 相信大家都學(xué)過(guò)不少關(guān)于計(jì)算機(jī)安全的課程和知識(shí)， 大家多多少少對(duì)各種各樣的攻擊方式有一定的了解。但是當(dāng)談及到底什么樣的程序可以被認(rèn)為是安全的時(shí)候， 這都不會(huì)是一個(gè)容易回...
-
Find C++ Thiscall in Binary
Backgrond: calling convention defines what register will be used to pass argument from ...
-
DDisasm Code Note
ELF loader Section some section might be useful. We can know what they are by some fla...
-
Dimension Shift! 一起來(lái)學(xué)Datalog吧！Pre 相信很多閱讀龍書(shū)/PPA朋友在使用C++之類(lèi)的語(yǔ)言實(shí)現(xiàn)書(shū)上的程序分析算法的時(shí)候會(huì)感覺(jué)到無(wú)比頭疼， 甚至是在實(shí)現(xiàn)完成之后還是對(duì)算法稀里糊涂的。因?yàn)檫@些書(shū)在描述算法的時(shí)候...
-
知乎：<a href="https://links.jianshu.com/go?to=https%3A%2F%2Fwww.zhihu.com%2Fpeople%2Fthzt" target="_blank">https://www.zhihu.com/people/thzt</a><br>博客：<a href="https://links.jianshu.com/go?to=https%3A%2F%2Fthzt.github.io" target="_blank">https://thzt.github.io</a><br>文檔：<a href="https://links.jianshu.com/go?to=https%3A%2F%2Fyuque.com%2Fthzt" target="_blank">https://yuque.com/thzt</a>
-
數(shù)據(jù)流分析(2) - 框架化分析 distributive framework之前我簡(jiǎn)單的介紹過(guò)幾種常見(jiàn)的過(guò)程內(nèi)分析算法。 可以看到這些算法有非常大的相似性，本質(zhì)都是使用一個(gè)worklist里面存放需要分析的語(yǔ)句，再使用Kill/Gen 函數(shù)（或者說(shuō)方...
-
Fuzz A Program!什么是Fuzz? 嘛這篇blog 還是會(huì)是一篇和計(jì)算機(jī)相關(guān)的Blog, 希望有機(jī)會(huì)我也能寫(xiě)一些和上面圖里的Fuzzer相關(guān)的文章hhhhh 如何保證程序的正確性？ 相信每一個(gè)...
-
Structral Facts in Datalog: 一種更加理想的Datalog Syntax
什么是Datalog datalog是一種用于描述形如：u ? p ∧ q ∧ … ∧ t的邏輯關(guān)系的一種一階邏輯的聲明式查詢(xún)語(yǔ)言。這種形式的邏輯表達(dá)式也被稱(chēng)為Horn Cl...
-
數(shù)據(jù)流分析 (1) 過(guò)程內(nèi)分析 Intraprocedural Analysis過(guò)程內(nèi)分析，顧名思義， 不考慮任何的過(guò)程/函數(shù)間調(diào)用的分析算法。 總的來(lái)說(shuō)，這是最基礎(chǔ)也是最簡(jiǎn)單的一類(lèi)程序分析算法， 但是其實(shí)還是比較有用， 特別是在二進(jìn)制分析的實(shí)際應(yīng)用中...
-
數(shù)據(jù)流分析 (0) : 示例語(yǔ)言和數(shù)據(jù)流數(shù)據(jù)流分析是一種比較經(jīng)典的分析算法， 在大量的編譯原理的書(shū)里都會(huì)提到（比如龍書(shū)）。在PPA 中，為了方便討論，使用了一種非常簡(jiǎn)單的命令式語(yǔ)言作為示例來(lái)進(jìn)行講解。 Syntax...
