Login / Signup

Flexible Instruction-Set Semantics via Abstract Monads (Experience Report).

Thomas BourgeatIan ClesterAndres ErbsenSamuel GruetterPratap SinghAndy WrightAdam Chlipala
Published in: Proc. ACM Program. Lang. (2023)
Keyphrases
  • instruction set
  • floating point
  • computer architecture
  • application specific
  • level parallelism
  • instruction set architecture
  • general purpose
  • embedded systems
  • ibm power processor
  • nearest neighbor