Obsidian: A Safe and Natural Programming Language for Blockchain Applications

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 09, 2018
Accession Number
AD1087765

Entities

People

  • Mark Sherman

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Blockchain
  • Computer Programming
  • Computer Science
  • Contracts
  • Department Of Defense
  • Engineering
  • Language
  • Materials
  • Obsidian
  • Programming Languages
  • Software Development
  • Transitions
  • Universities

Fields of Study

  • Computer science

Readers

  • Archaeological Resource Survey
  • Cybersecurity.
  • Database Systems and Applications