Accession Number:

AD1087765

Title:

Obsidian: A Safe and Natural Programming Language for Blockchain Applications

Descriptive Note:

[Technical Report, Briefing Charts]

Corporate Author:

Carnegie-Mellon University, Software Engineering Institute

Personal Author(s):

Report Date:

2018-03-09

Pagination or Media Count:

23

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.

Descriptors:

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

[A, Approved For Public Release]