论文信息 - Programming languages for high-assurance autonomous vehicles: extended abstract - 字舞流文

Programming languages for high-assurance autonomous vehicles: extended 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.

John Launchbury | Patrick C. Hickey | Lee Pike | James Bielman | Trevor Elliott | Thomas DuBuisson | J. Launchbury | Thomas Dubuisson | P. Hickey | Lee Pike | Trevor Elliott | James Bielman

[1] Gerard J. Holzmann,et al. The power of 10: rules for developing safety-critical code , 2006, Computer.

[2] Mark P. Jones,et al. Strongly typed memory areas programming systems-level data structures in a functional language , 2006, Haskell '06.

[3] Koen Claessen,et al. QuickCheck: a lightweight tool for random testing of Haskell programs , 2000, ICFP.

[4] Peyton Jones,et al. Haskell 98 language and libraries : the revised report , 2003 .

[5] Frank Pfenning,et al. Eliminating array bound checking through dependent types , 1998, PLDI.

[6] Simon L. Peyton Jones,et al. Type checking with open type functions , 2008, ICFP.

[7] Simon L. Peyton Jones,et al. Giving Haskell a promotion , 2012, TLDI '12.