Login / Signup

Do you have space for dessert? a verified space cost semantics for CakeML programs.

Alejandro Gómez-LondoñoJohannes Åman PohjolaHira Taqdees SyedaMagnus O. MyreenYong Kiam Tan
Published in: Proc. ACM Program. Lang. (2020)
Keyphrases
  • neural network
  • search space
  • low dimensional
  • space time
  • genetic algorithm
  • higher dimensional
  • space requirements
  • expert systems