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

As the blockchain industry continues to grow and new blockchain networks emerge, additional programming languages are being brought into the space.

The Ethereum Foundation has awarded a grant to researchers at Columbia and Yale for work on their new smart contract programming language.

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

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