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/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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom