Link Details

Link 1139909 thumbnail
User 448255 avatar

By dotCore
via vgo.readthedocs.org
Submitted: Apr 13 2014 / 14:40

Verifiable go or vgo for short is a subset of the go programming language introduced by Google that has been extended so that the programmer can use a temporal logic (CTL) to express assumptions and guarantees directly within the source code.
  • 1
  • 0
  • 142
  • 118

Add your comment


Html tags not supported. Reply is editable for 5 minutes. Use [code lang="java|ruby|sql|css|xml"][/code] to post code snippets.

Voters For This Link (1)



Voters Against This Link (0)



    Apache Hadoop
    Written by: Piotr Krewski
    Featured Refcardz: Top Refcardz:
    1. Play
    2. Akka
    3. Design Patterns
    4. OO JS
    5. Cont. Delivery
    1. Play
    2. Java Performance
    3. Akka
    4. REST
    5. Java