Open AccessAutomatic code generation in SPARK: Applications of computer algebra and compiler-compilers
Author(s) -
Jean-Michel Nataf,
F.C. Winkelmann
Publication year - 1992
Language(s) - English
Resource type - Reports
DOI - 10.2172/10161277
Subject(s) - compiler , computer science , spark (programming language) , programming language , code generation , symbolic computation , compiler correctness , compiler construction , kernel (algebra) , ordinary differential equation , algebra over a field , parallel computing , theoretical computer science , computational science , differential equation , operating system , mathematics , discrete mathematics , mathematical analysis , key (lock) , pure mathematics