Having fun with Programming

Monday, May 16, 2016

Symbolic executions

Symbolic Execution Tutorial

Symbolic Execution for Software Testing: Three Decades Later
Posted by ericpony at Monday, May 16, 2016 No comments:
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest

Monday, May 9, 2016

Graph logics

The paper Simulate transitive closure using FO logic uses first-order theorem provers to prove transitive closures of certain binary predicates.

Courcelle's theorem
Posted by ericpony at Monday, May 09, 2016 No comments:
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest
Newer Posts Older Posts Home
Subscribe to: Posts (Atom)

Search This Blog

Search Links

Labels

  • Admin (18)
  • JavaScript (13)
  • Scala (12)
  • Languages (8)
  • Formal (6)
  • Haskell (6)
  • Game (5)
  • Java (4)
  • Algorithm (3)
  • Git (3)
  • Akka (2)
  • Trick (2)
  • MapReduce (1)
  • NodeJS (1)
  • Spark (1)

Blog Archive

  • ►  2019 (2)
    • ►  January (2)
  • ►  2018 (1)
    • ►  December (1)
  • ►  2017 (9)
    • ►  August (1)
    • ►  June (2)
    • ►  May (1)
    • ►  March (1)
    • ►  February (3)
    • ►  January (1)
  • ▼  2016 (15)
    • ►  December (1)
    • ►  November (3)
    • ►  October (1)
    • ▼  May (2)
      • Symbolic executions
      • Graph logics
    • ►  April (2)
    • ►  March (3)
    • ►  February (1)
    • ►  January (2)
  • ►  2015 (27)
    • ►  December (4)
    • ►  November (2)
    • ►  October (2)
    • ►  August (1)
    • ►  July (1)
    • ►  June (1)
    • ►  May (1)
    • ►  April (2)
    • ►  March (3)
    • ►  February (4)
    • ►  January (6)
  • ►  2014 (35)
    • ►  December (4)
    • ►  November (3)
    • ►  October (2)
    • ►  September (1)
    • ►  August (4)
    • ►  July (6)
    • ►  June (4)
    • ►  May (3)
    • ►  April (1)
    • ►  March (3)
    • ►  February (1)
    • ►  January (3)
  • ►  2013 (20)
    • ►  December (3)
    • ►  November (3)
    • ►  October (7)
    • ►  September (3)
    • ►  August (1)
    • ►  June (1)
    • ►  April (1)
    • ►  February (1)

Links

  • Scala Puzzlers

Blog roll

  • Atomic Spin
    The Only Question to Ask Yourself to Decide Between Server and Client Components - For the past few months, I’ve been working on a website built with NextJS using the app router. A lot of developers who are new to working with the frame...
    12 hours ago
  • Eli Bendersky's website
    Reverse mode Automatic Differentiation - Automatic Differentiation (AD) is an important algorithm for calculating the derivatives of arbitrary functions that can be expressed by a computer progr...
    3 days ago
  • alvinalexander.com
    God is love, and vice versa (versa visa?) - June, 2016: Last week when I was having my "allergic angina" fake heart attack followed by a real angiogram, I thought it would be interesting to be one of...
    1 week ago
  • Neal Gafter's blog
    Response to letter from American Council on Science and Health. - Alex Berezow, Ph.D. Vice President of Scientific Affairs American Council on Science and Health P.O. Box 1791 New York, NY 10156 Doctor Berezow- I receiv...
    5 years ago
  • Pony Foo
    React Data Survival Kit - Handling data in React can be treacherous if you don’t know your way around. Learn some common patterns for fetching, storing, and retrieving data in thi...
    5 years ago
  • Gorogoa Developer Blog
    Irregular Update 12 - For the past few weeks I’ve been dealing with a family situation, so haven’t gotten much work done. But during that time, I’ve been reflecting on aspects o...
    8 years ago
  • Yi Wang's Tech Notes
    C++/Python Clients to Go JSON RPC Servers - I wrote this example to show how can we program clients to Go JSON RPC servers based on the `net/rpc/jsonrpc` standard package.
    8 years ago
  • Perfection Kills
    Javascript quiz. ES6 edition. -
    9 years ago
  • JavaScript, JavaScript...
    Of Classes and Arrow Functions (a cautionary tale) - Behold, the new hotness! The shapely Arrow Function has driven away the irksome function keyword and (by virtue of lexical this scoping) bought joy to many...
    9 years ago
  • KeithSchwarz.com
    -
  • usevim
    -

Popular Articles

  • Continuation Passing Style (CPS)
    Papers Retrospective:  The Essence of Compiling with Continuations   Overview of the field:  Compiling with Continuations, Continued ( s...
  • Pitfalls for JavaScript beginners
    Eval. According to ES5 , indirect calls to eval like var a = eval; a(code) or (0, eval)(code) or window.eval(code) are treated as a glo...
  • JavaScript Design Pattern Examples
    Factory function ObjectFactory(ctor) { var obj = {}; return function() { if(typeof ctor.prototype === 'number') obj....
  • Type System in Java
    Unified type system.  In a unified type system, all types including primitive types inherit from a single root type. For example, C# is unif...
  • A quick note on design patterns
    This post is a digest of multiple sources in the reference list. Figures and texts are freely borrowed from the references. Modification...
  • NF, HNF and WHNF
    WHNF: a lambda expr or a constructor HNF: a lambda expr where the function body is a NF NF: a term that contains no beta regex A discuss...
  • DOA Marie Rose skill sheet
    單一招式攻擊力低，須靠密集的攻擊和浮空後的打擊消耗對手體力 移動範圍較大，藉 7P 脫離對方攻擊圈，輔以 3P+K 二擇突進攻擊 中距離攻擊 P+K 適合硬撞，挑對時機成功率高，被擋下後破綻大 高級技巧：小迴旋舞可讓對方攻擊時失去平衡，以創造己方反擊機會 高級...
  • DOA Tools and Mods
    Documents Overview -  http://bbs.3dmgame.com/thread-4791938-1-1.html Editing texture -  https://www.ptt.cc/bbs/AC_In/M.1429727192.A.74B....
Simple theme. Powered by Blogger.