Programming languages for high-assurance autonomous vehicles

Lee Pike, Patrick Hickey, James Bielman, Trevor Elliott, Thomas DuBuisson, John Launchbury
2014 Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification - PLPV '14  
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.
doi:10.1145/2541568.2541570 dblp:conf/plpv/PikeHBEDL14 fatcat:vjefmiyusng6bgf5rcxtdsi3lm