Engineering formal metatheory.
Brian E. AydemirArthur CharguéraudBenjamin C. PierceRandy PollackStephanie WeirichPublished in: POPL (2008)
Keyphrases
- engineering design
- computer science
- software engineering
- artificial intelligence
- formal methods
- formal model
- formal ontologies
- materials science
- engineering problems
- computer aided design
- evolutionary algorithm
- case study
- neural network
- probabilistic model
- computer vision
- formal analysis
- formal representation
- formal language
- engineering students
- mechanical engineering
- data sets
- database