Programming Languages for High-Assurance Autonomous Vehicles (Extended Abstract)

• ABSTRACT:
  
  We briefly describe the use of embedded domain-specific languages to improve programmer productivity and increase software assurance in the context of building a fully-featured autopilot for unpiloted aircraft.

• BIBTEX:
  

  @inproceedings{pike-plpv14,
    author    = {Lee Pike and
                 Patrick C. Hickey and
                 James Bielman and
                 Trevor Elliott and
                 Thomas DuBuisson and
                 John Launchbury},
    title     = {Programming languages for high-assurance autonomous vehicles: extended abstract},
    booktitle = {Programming Languages meets Program Verification},
    publisher = {ACM},
    year      = {2014},
    pages     = {1-2},
    note =      {Available at \url{https://leepike.github.io/pub_pages/plpv14.html}}}

• PAPER DOWNLOAD: pike-plpv.pdf