Skip to contents Garzella, Jack J.; Baranowski, Marek; He, Shaobo; Rakamarić, Zvonimir Lecture Notes in Computer Science: Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2020 Published in: Lecture Notes in Computer Science (2020), Seite 90-111 Carter, Larry; Ferrante, Jeanne; Bala, Vasanth XDP: A compiler intermediate language extension for the representation and optimization of data movement Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 1994 Published in: International Journal of Parallel Programming, 22 (1994) 5, Seite 485-518 Woo, Gyun; Chae, Heung Seok; Jang, Hanil Reliable Software Technologies – Ada Europe 2007: An Intermediate Representation Approach to Reducing Test Suites for Retargeted Compilers Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2007 Published in: Reliable Software Technologies – Ada Europe 2007 (2007), Seite 100-113
Garzella, Jack J.; Baranowski, Marek; He, Shaobo; Rakamarić, Zvonimir Lecture Notes in Computer Science: Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2020 Published in: Lecture Notes in Computer Science (2020), Seite 90-111
Carter, Larry; Ferrante, Jeanne; Bala, Vasanth XDP: A compiler intermediate language extension for the representation and optimization of data movement Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 1994 Published in: International Journal of Parallel Programming, 22 (1994) 5, Seite 485-518
Woo, Gyun; Chae, Heung Seok; Jang, Hanil Reliable Software Technologies – Ada Europe 2007: An Intermediate Representation Approach to Reducing Test Suites for Retargeted Compilers Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2007 Published in: Reliable Software Technologies – Ada Europe 2007 (2007), Seite 100-113
> Media type Skip to next facet Articles (15) Wert ausschließen Thesis (4) Wert ausschließen Books (3) Wert ausschließen Conference Proceedings (1) Wert ausschließen Show more show less
> Rights information Skip to next facet In Copyright - Non-commercial Use Permitted (1) Wert ausschließen Attribution - Non Commercial - Share Alike (CC BY-NC-SA) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (10) Wert ausschließen Without Specification (13) Wert ausschließen Show more show less
> Language Skip to next facet English (17) Wert ausschließen Not determined (5) Wert ausschließen French (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (12) Wert ausschließen General (1) Wert ausschließen Mathmatics (1) Wert ausschließen Technology (1) Wert ausschließen Show more show less
> Creator Skip to next facet Hasabnis, Niranjan (3) Wert ausschließen Sekar, R. (3) Wert ausschließen Hack, Sebastian (2) Wert ausschließen Leißa, Roland (2) Wert ausschließen Ludwig, Thomas (2) Wert ausschließen Torres Carvajal, Raul Ernesto (2) Wert ausschließen ACM Special Interest Group on Algorithms and Computation Theory (1) Wert ausschließen ACM Special Interest Group on Programming Languages (1) Wert ausschließen Akhadov, Sabir (1) Wert ausschließen Alonso, Gustavo (1) Wert ausschließen Association for Computing Machinery (1) Wert ausschließen Bahmann, Helge (1) Wert ausschließen Bala, Vasanth (1) Wert ausschließen Baranowski, Marek (1) Wert ausschließen Buyukkurt, Betul (1) Wert ausschließen Carter, Larry (1) Wert ausschließen Chae, Heung Seok (1) Wert ausschließen Chow, Fred (1) Wert ausschließen Cohen, Albert Henri (1) Wert ausschließen Cortes, John (1) Wert ausschließen Donawa, C. (1) Wert ausschließen Emami, M. (1) Wert ausschließen Ernst, Michael (1) Wert ausschließen Falk, Heiko (1) Wert ausschließen Fernandez, Jean-Claude (1) Wert ausschließen Ferrante, Jeanne (1) Wert ausschließen Gao, G. (1) Wert ausschließen Garzella, Jack J. (1) Wert ausschließen Grenoble (1) Wert ausschließen Guo, Zhi (1) Wert ausschließen He, Shaobo (1) Wert ausschließen Heiko Falk and Paul Lokuciejewski and Henrik Theiling (1) Wert ausschließen Hendren, L. (1) Wert ausschließen Hjort, Rikard (1) Wert ausschließen Holmgren, Jakob (1) Wert ausschließen Jang, Hanil (1) Wert ausschließen Justiani (1) Wert ausschließen Koutsoukos, Dimitrios (1) Wert ausschließen Lokuciejewski, Paul (1) Wert ausschließen Marroquín, Renato (1) Wert ausschließen McCaskey, Alexander (1) Wert ausschließen Meyer, Jan Christian (1) Wert ausschließen Mitra, Abhishek (1) Wert ausschließen Müller, Ingo (1) Wert ausschließen Najjar, Walild (1) Wert ausschließen Neumann, Thomas (1) Wert ausschließen Nguyen, Thien (1) Wert ausschließen Ottenstein, Karl J. (1) Wert ausschließen Paris 11 (1) Wert ausschließen Persson, Christian (1) Wert ausschließen Pietrek, Artur (1) Wert ausschließen Porobic, Danica (1) Wert ausschließen Rakamarić, Zvonimir (1) Wert ausschließen Reissmann, Nico (1) Wert ausschließen Själander, Magnus (1) Wert ausschließen Sridharan, B. (1) Wert ausschließen Stanier, James (1) Wert ausschließen Theiling, Henrik (1) Wert ausschließen Trifunovic, Konrad (1) Wert ausschließen Watson, Des (1) Wert ausschließen Wawrzoniak, Michael (1) Wert ausschließen Woo, Gyun (1) Wert ausschließen id_orcid0 000-0001-8818-8324 (1) Wert ausschließen id_orcid0 000-0002-1304-8420 (1) Wert ausschließen Show more show less
> Collection Skip to next facet Association for Computing Machinery (ACM) (CrossRef) (7) Wert ausschließen BASE - Bielefeld Academic Search Engine (6) Wert ausschließen Diss online (2) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (2) Wert ausschließen Springer International Publishing (CrossRef) (2) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (2) Wert ausschließen theses.fr (2) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (1) Wert ausschließen ETH Zürich Research Collection (1) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (1) Wert ausschließen Scientific publications of the Saarland University (UdS) (1) Wert ausschließen Verbunddaten SWB (1) Wert ausschließen ediss.sub.hamburg (Staats- und Universitätsbibliothek Hamburg, Carl von Ossietzky) (1) Wert ausschließen Show more show less