Compilers (Computer programs)
Overview
Works: | 70 works in 22 publications in 22 languages |
---|
Titles
Advanced symbolic analysis for compilers = new techniques and algorithms for symbolic program analysis and optimization /
by:
(Language materials, printed)
Optimal interprocedural program optimization = a new framework and its application /
by:
(Language materials, printed)
Compiler Construction = 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings /
by:
(Electronic resources)
Verified software = theories, tools, and experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers /
by:
(Electronic resources)
Beginning C++ compilers = an introductory guide to Microsoft C/C++ and MinGW compilers /
by:
(Electronic resources)
Loop transformations for restructuring compilers = the foundations /
by:
(Language materials, printed)
Advanced ASIC chip synthesis = using Synopsys Design Compiler, Physical Compiler, and PrimeTime /
by:
(Language materials, printed)
Transactions on high-performance embedded architectures and compilers.. II
by:
(Language materials, printed)
Interacting code motion transformations = their impact and their complexity /
by:
(Language materials, printed)
Compiler optimizations for scalable parallel systems = languages, compilation techniques, and run time systems /
by:
(Language materials, printed)
Advanced ASIC chip synthesis = using Synopsys Design Compiler, Physical Compiler, and PrimeTime /
by:
(Language materials, printed)
Compiler construction = 20th International Conference, CC 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings /
by:
(Electronic resources)
Compiler construction = 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings /
by:
(Electronic resources)
Verified software = theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers /
by:
(Electronic resources)
Verified software = theories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014 : revised selected papers /
by:
(Electronic resources)
Compiler construction = 24th International Conference, CC 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015 : proceedings /
by:
(Electronic resources)
Beginning MicroPython with the Raspberry Pi Pico = build electronics and IoT projects /
by:
(Electronic resources)
Modular compiler verification = a refinement-algebraic approach advocating stepwise abstraction /
by:
(Language materials, printed)
Show more
Fewer
Subjects