Functional programming for compiling and decompiling computer-aided design.
Chandrakana NandiJames R. WilcoxPavel PanchekhaTaylor BlauDan GrossmanZachary TatlockPublished in: Proc. ACM Program. Lang. (2018)
Keyphrases
- computer aided design
- functional programming
- object oriented
- programming language
- functional language
- object oriented programming
- computer aided
- execution model
- solid models
- computer graphics
- process planning
- cad cam
- design process
- reverse engineering
- design automation
- cad systems
- computer assisted
- cad model
- image analysis
- three dimensional
- artificial intelligence
- databases