Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:programming_language
|
| gptkbp:designedFor |
gptkb:TON_Virtual_Machine
|
| gptkbp:documentation |
https://docs.ton.org/develop/func/overview/
|
| https://www.w3.org/2000/01/rdf-schema#label |
FunC
|
| gptkbp:influencedBy |
gptkb:C_programming_language
|
| gptkbp:openSource |
true
|
| gptkbp:similarTo |
C
|
| gptkbp:supports |
formal verification
low-level programming |
| gptkbp:usedFor |
smart contract development
|
| gptkbp:usedOn |
gptkb:TON_blockchain
|
| gptkbp:bfsParent |
gptkb:Telegram_Open_Network_(TON)
|
| gptkbp:bfsLayer |
7
|