Optimal interprocedural program optimization : :: SCD d'Orléans

Optimal interprocedural program optimization : a new framework and its application

Optimal interprocedural program optimization : a new framework and its application

Starting from the intraprocedural basic case, this monograph focuses on interprocedural optimization. It emphasizes the analogies and essential differences between intraprocedural and interprocedural optimization, and offers cookbook style support for constructing the underlying algorithms. It is ai...

Fuld beskrivelse

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Knoop, Jens
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science 1428
Fag:	Génie logiciel Informatique Algorithmes Langages de programmation Ordinateurs Compilateurs (logiciels)
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Optimal interprocedural program optimization, a new framework and its application, Jens Knoop, 1998, New York, Springer, 1 vol. (XXV-288 p.), Lecture notes in computer science, 3-540-65123-3 • Optimal Interprocedural Program Optimization, Texte imprimé, 9783662182284

Lignende værker

Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization
af: Fahringer, Thomas, 1965-, et autres

Interacting code motion transformations : their impact and their complexity
af: Rüthing, Oliver

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
af: Müller-Olm, Markus, 19..-

Higher-level hardware synthesis
af: Sharp, Richard, 1978-...., chercheur en informatique

Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings

Compiler optimizations for scalable parallel systems : languages, compilation techniques, and run time systems
af: Santosh, Pande

Compiler compilers : Third International Workshop, CC '90 Schwerin, FRG, October 22 24, 1990 : proceedings

Software and compilers for embedded systems : 8th international workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004 : proceedings

Software and compilers for embedded systems : 7th international workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003 : proceedings

Compiler construction : 9th International Conference, CC 2000held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

Modular specification and verification of object-oriented programs
af: Müller, Peter, 1961-...., informaticien

Types in compilation : Second International Workshop, TIC 98 Kyoto, Japan, March 25 27, 1998 : proceedings

Domain-specific program generation : international seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers
af: Lengauer, Christian

Compiler specification and verification
af: Polak, Wolfgang, 1950-

A Concurrent Pascal compiler for minicomputers
af: Hartmann, Alfred C.

GAG : a practical compiler generator
af: Kastens, Uwe, et autres

Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14-18, 1980

TAPSOFT'93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings

High-performance computing and networking : International conference and exhibition, Munich, Germany, April 18-20, 1994 : Proceedings networking and tools

Languages, compilers, and run-time systems for scalable computers : 5th international workshop, LCR 2000, Rochester, NY, USA, May 25-27, 2000 : selected papers

Theory of program structures : schemes, semantics, verification
af: Greibach, Sheila, 1939-
Udgivet: (2005)

Languages and compilers for parallel computing : 12th International Workshop, LCPC 99 La Jolla, CA, USA, August 4 6, 1999 : proceedings

Baltic computer science : selected papers
af: Barzdin½, ⅝I⅜An Martynovich, 1937-

Compiler construction : 12th international conference, CC 2003 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

Compiler construction : 10th International Conference, CC 2001 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy,April 2-6, 2001 : proceedings

Compiler construction : 13th International Conference, CC 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 : proceedings

Compiler construction : 6th International Conference, CC'96, Linköping, Sweden, April 24 26, 1996 : proceedings

Compiler construction : 4th International Conference, CC '92, Paderborn, FRG, October 5 7, 1992 : proceedings

Compiler construction : 5th International Conference, CC '94, Edinburgh, U.K., April 7 9, 1994 : proceedings

Compiler construction : 7th International Conference, CC'98 held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisboa, Portugal, March 28-April 4, 1998 : proceedings

Compiler construction : 11th International Conference, CC 2002 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 12, 2002 : proceedings

Compiler construction : 8th International Conference, CC 99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
af: Jähnichen, Stefan, 19..-

Semantics, applications, and implementation of program generation : [first] International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings

Program development in computational logic : a decade of research advances in logic-based program development
af: Bruynooghe, Maurice

Language, compilers, and run-time systems for scalable computers : 4th International Workshop, LCR'98, Pittsburgh, PA, USA, May 1998 : selected papers

Visualization of scientific parallel programs
af: Tomas, Gerald, 19..-, et autres

Languages and compilers for parallel computing : 5th International Workshop, New Haven, Connecticut, USA, August 3 5, 1992 : proceedings

Semantics, applications, and implementation of program generation : second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings

Compilateurs : principes, techniques et outils
af: Aho, Alfred Vaino, 1941-...., chercheur en informatique, et autres
Udgivet: (2007)

Parallel computation : Second International ACPC Conference Gmunden, Austria, October 4 6, 1993 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales