Having fun with Programming

Wednesday, June 14, 2017

While programs

Fact. Every while program can be simulated by a while program with at most one while loop.

Harel's proof using structural induction
Kozen's proof using KAT
Kleene Algebra with Tests (KAT)
Kozen's lecture notes on KAT
Kozen's result about the complexity & decidability of KAT

Posted by ericpony at Wednesday, June 14, 2017 No comments:
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest
Labels: Formal

Sunday, June 11, 2017

Talks on program verification

Selected Topics in Design & Verification
Vardi's fun lectures on automated verification and synthesis
Fast Interpolating Bounded Model Checking
Posted by ericpony at Sunday, June 11, 2017 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)
      • While programs
      • Talks on program verification
    • ►  May (1)
    • ►  March (1)
    • ►  February (3)
    • ►  January (1)
  • ►  2016 (15)
    • ►  December (1)
    • ►  November (3)
    • ►  October (1)
    • ►  May (2)
    • ►  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.