1. A practical approach to compiler construction. (2017) Authors: Watson, Des Record Type: Book Extent: 1 online resource (xv, 254 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Automatic tuning of compilers using machine learning. (2018) Authors: Ashouri, Amir H; Palermo, Gianluca; Cavazos, John; Silvano, Cristina Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Introduction to compiler design. (2017) Authors: Mogensen, Torben Æ, 1960- Record Type: Book Extent: 1 online resource (xxi, 258 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Transactions on high-performance embedded architectures and compilers V. (2019) Editors: Stenström, Per; Silvano, Cristina; Bertels, Koen; Schulte, Michael Record Type: Book Extent: 1 online resource (ix, 141 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Verified software : theories, tools, and experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised selected papers /: theories, tools, and experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised selected papers. (2020) Other Names: Chakraborty, Supratik; Navas, Jorge A; VSTTE (Conference), 11th Record Type: Book Extent: 1 online resource (208 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Verified software : theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers /: theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers. (2016) Editors: Blazy, Sandrine; Chechik, Marsha Other Names: VSTTE (Conference), 8th Record Type: Book Extent: 1 online resource (xiv, 199 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Verified software : theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers /: theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers. (2017) Editors: Paskevich, Andrei; Wies, Thomas Other Names: VSTTE (Conference), 9th Record Type: Book Extent: 1 online resource (xiii, 211 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗