Rust is a programming language that uses a concept of ownership to guara...
Smart contracts are programs that are executed on a blockhain. They have...
Current approaches to making programming languages and reasoning assista...
Rust is a general-purpose programming language that is both type- and
me...
Recently, user-centered methods have been proposed to improve the design...
Blockchains host smart contracts for crowdfunding, tokens, and many othe...
Some blockchain programs (smart contracts) have included serious securit...
Programming language design requires making many usability-related desig...
Programming language designers commonly guess what language designs woul...
Blockchain platforms are coming into broad use for processing critical
t...