You are viewing a single comment's thread from:

RE: Demo coming soon? Tau Meta Language in C++ updated on Github.

in #blockchain • 6 years ago (edited)

I need to call “Ullman and Aho” for help!

I remember reading something about Tau in a discussion regarding WREN and Smart contracts in STEEM

Quick question: formal verification of this language with something like F* will be possible ?

6 years ago in #blockchain by
$0.00
    Reply 2
    Sort:  
  • Trending
    • [-]
     6 years ago 

    Yup ultimately it depends on the nature of F*, here's the excerpt about internet of languages taken from the website:-

    There is no single best language for all purposes, which is the reason we're building the Tau Meta Language (TML): a language intended to define other languages and translate between them while maintaining the same information. TML allows seamless communication and semantic translation between programming languages, knowledge representation languages, visualization and organization formats, domain-specific languages, and more.

    $0.00
      Reply
      [-]
       6 years ago 

      ultimately it depends on the nature of F*

      F* is a language developed at Microsoft Research for the formal validation. Quick into is here : https://www.microsoft.com/en-us/research/people/nswamy/

      $0.00
        Reply

        Coin Marketplace

        STEEM 0.30
        TRX 0.26
        JST 0.043
        BTC 98728.13
        ETH 3636.70
        USDT 1.00
        SBD 2.81