Programming languages for high-assurance autonomous vehicles: extended abstract.
Lee PikePatrick C. HickeyJames BielmanTrevor ElliottThomas DuBuissonJohn LaunchburyPublished in: PLPV (2014)
Keyphrases
- extended abstract
- programming language
- autonomous vehicles
- high assurance
- software systems
- path planning
- software engineering
- operating system
- structured environments
- access control
- obstacle avoidance
- fault tolerant
- distributed systems
- object oriented
- general purpose
- denotational semantics
- strongly typed
- multiagent systems
- high level
- robot control
- programming environment
- autonomous agents
- mobile robot
- database languages
- artificial intelligence
- specification language
- software development
- functional language
- case study
- lambda calculus
- complex environments
- real time
- data processing
- source code
- operational semantics
- data abstraction
- machine learning