Obsidian: A Safer Blockchain Programming Language

Abstract

Contents include: What are Blockchains?; Blockchain Applications in DoD; Blockchain Programming; A User-Centered Language Design Process.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2017
Accession Number
AD1088230

Entities

People

  • Brad A. Myers
  • Jenna Wise
  • Jonathan Erik Aldrich
  • Joshua Sunshine
  • Michael Coblenz
  • Rick Hull

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Biomedical
  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Blockchain
  • Computer Programming
  • Computer Science
  • Computers
  • Contracts
  • Department Of Defense
  • Guarantees
  • Language
  • Logistics
  • Materials
  • Obsidian
  • Programming Languages
  • Smart Contracts
  • Software Development
  • Supply Chain
  • Universities

Fields of Study

  • Computer science
  • Mathematics