Programming languages for high-assurance autonomous vehicles: extended abstract.
POPL(2014)
摘要
ABSTRACTWe 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.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络