Verified Inlining and Specialisation for PureCake.
Hrutvik KanabarKacper KorbanMagnus O. MyreenPublished in: ESOP (2) (2024)
Keyphrases
- virtual machine
- information systems
- computational complexity
- operating system
- knn
- orders of magnitude
- data analysis
- special case
- wireless sensor networks
- scheduling problem
- motion estimation
- graphical models
- np complete
- wordnet
- distributed systems
- software development
- search space
- similarity search
- constraint satisfaction