Programming languages for high-assurance autonomous vehicles: extended abstract

Authors:
Lee Pike;Patrick Hickey;James Bielman;Trevor Elliott;Thomas DuBuisson;John Launchbury
Affiliations:
Galois, Inc., Portland, OR, USA;Galois, Inc., Portland, OR, USA;Galois, Inc., Portland, OR, USA;Galois, Inc., Portland, OR, USA;Galois, Inc., Portland, OR, USA;Galois, Inc., Portland, OR, USA
Venue:
Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification
Year:
2014

Citing 6
Cited 0

Eliminating array bound checking through dependent types

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
QuickCheck: a lightweight tool for random testing of Haskell programs

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
The Power of 10: Rules for Developing Safety-Critical Code

Computer
Strongly typed memory areas programming systems-level data structures in a functional language

Proceedings of the 2006 ACM SIGPLAN workshop on Haskell
Type checking with open type functions

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Giving Haskell a promotion

TLDI '12 Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation

Quantified Score

Hi-index	0.00

Visualization

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.