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.

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 ...