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