Skip to main content
eScholarship
Open Access Publications from the University of California

Automatic Code Generation in SPARK: Applications of Computer Algebra and Compiler-Compilers

  • Author(s): Nataf, J.-M.
  • Winkelmann, F.C.
  • et al.
Main Content
Current View