Obsidian: A Safe and Natural Programming Language for Blockchain Applications
[Technical Report, Briefing Charts]
Carnegie-Mellon University, Software Engineering Institute
Pagination or Media Count:
Obsidian a new programming language Obsidian is a blockchain-based language with the goals- Make certain vulnerabilities impossible Make it easier to write correct programs Show effectiveness and correctness. Obsidian programs consist of contracts-similar to classes in Java-which contain fields, states transactions-similar to methods.
- Computer Programming and Software