Compilers (Computer programs)
Overview
Works: | 68 works in 20 publications in 20 languages |
---|
Titles
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)
Modular compiler verification = a refinement-algebraic approach advocating stepwise abstraction /
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)
Verified software = theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers /
by:
(Electronic resources)
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 : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014 : revised selected papers /
by:
(Electronic resources)
Beginning MicroPython with the Raspberry Pi Pico = build electronics and IoT projects /
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)
Advanced symbolic analysis for compilers = new techniques and algorithms for symbolic program analysis and optimization /
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)
Optimal interprocedural program optimization = a new framework and its application /
by:
(Language materials, printed)
Show more
Fewer
Subjects