AxLang is based on Scala, and enables secure and full featured smart contract development by supporting both functional programming and formal verification. Its design is driven by the rigorous ...

Developers can use traditional programming languages (C++, Python, JavaScript) for blockchain development as well as specifically built solutions like Solidity, Vyper and Scrypto.

Digital bank WeBank to explore using DAML, an open-source smart contract programming language for meeting regulatory requirements.

Smart home programming: Easy as 'if this, then that' Date: April 28, 2014 Source: Brown University Summary: The idea of a smart home sounds promising enough -- who doesn't want a house full of ...

Solidity Programming smart contracts for the Ethereum blockchain. See Ethereum. Swift An Apple language that adds features to Objective-C. See Swift. TypeScript A superset of JavaScript that flags ...

CIOs must begin implementing ethical programming protocols for smart machines, Gartner research group believes. Michael Hatamoto TweakTown Published Mar 17, 2015 2:45 PM CDT ...

Algorand and Blockstack are collaborating on a new smart contract programming language that moves the two startups toward direct, inter-blockchain communications.