Verified low-level programming embedded in F.
Jonathan ProtzenkoJean Karim ZinzindohouéAseem RastogiTahina RamananandroPeng WangSantiago Zanella BéguelinAntoine Delignat-LavaudCatalin HritcuKarthikeyan BhargavanCédric FournetNikhil SwamyPublished in: Proc. ACM Program. Lang. (2017)
Keyphrases
- low level
- high level
- programming language
- higher level
- programming environment
- general purpose
- visual features
- object oriented programming
- lower level
- low level features
- visual information
- object oriented
- mid level
- programming course
- data sets
- computer programming
- programming environments
- development environment
- visual cues
- object recognition
- computer vision
- real world