Accession Number:

AD1087765

Title:

Obsidian: A Safe and Natural Programming Language for Blockchain Applications

Descriptive Note:

Technical Report

Corporate Author:

Carnegie-Mellon University, Software Engineering Institute Pittsburgh United States

Personal Author(s):

Report Date:

2018-03-09

Pagination or Media Count:

23.0

Abstract:

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE