Safely Composable Type-Specific Languages

Abstract

We present additional details on our static semantics and our corpus analysis that were omitted from the main body of the paper Safely Composable Type-Specific Languages for concision [1].

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 25, 2014
Accession Number
AD1019535

Entities

People

  • Alex Potanin
  • Benjamin Chung
  • Cyrus Omar
  • Darya Kurilova
  • Jonathan Erik Aldrich
  • Ligia Nistor

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Classification
  • Contracts
  • Information Operations
  • Instructions
  • Language
  • Military Research
  • Monitoring
  • Security
  • Semantics
  • Standards
  • Triangles
  • Universities
  • Words (Language)