Axoni is pleased to announce AxLang, a new programming language that supports functional programming and enables formal verification of smart contracts for Ethereum ...

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.

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

CIOs must begin implementing ethical programming protocols for smart machines, Gartner research group believes.