Protocol Programmability

Abstract

Application Programming interfaces (APIs) often define protocols-restrictions on the order of client calls to API methods. API protocols are common and difficult to follow, which has generated tremendous research into the specification and verification of protocols. However, verification techniques do little to alleviate several major challenges programmers face when using API protocols: fixing protocol violations, learning protocol rules, and finding state transitions.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 2013
Accession Number
AD1188461

Entities

People

  • Joshua Sunshine

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Application Programming Interface
  • Computer Programming
  • Engineering
  • Information Operations
  • Language
  • Military Research
  • Productivity
  • Programming Languages
  • Software Development
  • Specifications
  • Standards
  • Systems Engineering
  • Verification

Fields of Study

  • Computer science

Readers

  • Clinical Trial Research.
  • Database Systems and Applications