coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Ilmārs Cīrulis <ilmars.cirulis AT gmail.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Is there a minimal subset of JavaScript, both useful for formal verification and practical enough?
Date: Thu, 12 May 2016 16:23:38 +0300
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ilmars.cirulis AT gmail.com; spf=Pass smtp.mailfrom=ilmars.cirulis AT gmail.com; spf=None smtp.helo=postmaster AT mail-yw0-f182.google.com
Ironport-phdr: 9a23:yqhyVxTDIue2KfsFa71ODN2zqtpsv+yvbD5Q0YIujvd0So/mwa64YhCN2/xhgRfzUJnB7Loc0qyN4/GmAD1LvMfJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbviqtuKMk4V1XKUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGfayQ6NtB7dfFXEtN30/zMztrxjKCwWVrDNIWWIP1xFMHgLt7RfgX563vDGs5cRn3yzPHMnz5qovER+j9bpvSQSg3CYDMjcj6yfci9ZtiKNAiB2krh17hYXTZdfGZ7JFYqrBcIZCFiJ6VcFLWnkZDw==

What's your opinions (or suggestions to read etc.) about this topic?

Thanks in advance,

Ilmārs Cīrulis

[Coq-Club] Is there a minimal subset of JavaScript, both useful for formal verification and practical enough?, Ilmārs Cīrulis, 05/12/2016
- Re: [Coq-Club] Is there a minimal subset of JavaScript, both useful for formal verification and practical enough?, Greg Morrisett, 05/12/2016
  - Re: [Coq-Club] Is there a minimal subset of JavaScript, both useful for formal verification and practical enough?, Alan Schmitt, 05/13/2016
    - Re: [Coq-Club] Is there a minimal subset of JavaScript, both useful for formal verification and practical enough?, Ilmārs Cīrulis, 05/16/2016