Translation of "Optimierender compiler" in English
																						Ein
																											neuer,
																											portabler,
																											optimierender
																											C-Compiler
																											hat
																											sich
																											selbst
																											compiliert
																											und
																											könnte
																											dieses
																											Jahr
																											herausgegeben
																											werden.
																		
			
				
																						A
																											new
																											portable
																											optimizing
																											C
																											compiler
																											has
																											compiled
																											itself
																											and
																											may
																											be
																											released
																											this
																											year.
															 
				
		 ParaCrawl v7.1
			
																						Das
																											CompCert-Projekt
																											hat
																											die
																											Durchführbarkeit
																											einer
																											besonders
																											wichtigen
																											Anwendung
																											dieses
																											methodischen
																											Ansatzes
																											nachgewiesen,
																											nämlich
																											die
																											Verifizierung
																											realistischer
																											optimierender
																											Compiler.
																		
			
				
																						The
																											CompCert
																											project,
																											led
																											by
																											Xavier
																											Leroy
																											at
																											INRIA,
																											has
																											demonstrated
																											the
																											feasibility
																											of
																											a
																											particularly
																											important
																											application
																											of
																											this
																											methodology,
																											namely
																											the
																											verification
																											of
																											realistic
																											optimizing
																											compilers.
															 
				
		 ParaCrawl v7.1
			
																						Ein
																											neuer
																											portabler,
																											optimierender
																											C-Compiler
																											hat
																											sich
																											aus
																											seinem
																											eigenen
																											Quellcode
																											kompiliert
																											und
																											kann
																											dieses
																											Jahr
																											freigegeben
																											werden.
																		
			
				
																						A
																											new
																											portable
																											optimizing
																											C
																											compiler
																											has
																											compiled
																											itself
																											and
																											may
																											be
																											released
																											this
																											year.
															 
				
		 ParaCrawl v7.1
			
																						Meine
																											Mutter
																											kann
																											optimierende
																											Compiler
																											schreiben.
																		
			
				
																						My
																											mom
																											can
																											write
																											optimizing
																											compilers.
															 
				
		 QED v2.0a
			
																						Ein
																											kompletter
																											Satz
																											von
																											Entwicklungstools,
																											enthält
																											es
																											optimierende
																											Compiler
																											für
																											High-Level-Sprachen
																											C,
																											C
																											+
																											+,
																											Fortran
																											77
																											und
																											Fortran
																											90,
																											Debugger,
																											Profiler,
																											und
																											eine
																											Bibliothek
																											von
																											mathematischen
																											Funktionen
																											und
																											Signalverarbeitung.
																		
			
				
																						A
																											complete
																											set
																											of
																											developer
																											tools,
																											it
																											includes
																											optimizing
																											compilers
																											for
																											high-level
																											languages
																											C,
																											C
																											+
																											+,
																											Fortran
																											77
																											and
																											Fortran
																											90,
																											debugger,
																											profiler,
																											and
																											a
																											library
																											of
																											mathematical
																											functions
																											and
																											signal
																											processing.
															 
				
		 ParaCrawl v7.1
			
																						Viele
																											Programmierer
																											glauben,
																											Intel-Compiler
																											die
																											besten
																											optimierende
																											Compiler
																											auf
																											dem
																											Markt
																											erhältlich
																											und
																											es
																											vorziehen,
																											verwenden
																											Sie
																											die
																											es
																											für
																											die
																											anspruchsvollsten
																											Programme
																											die
																											Produktivität.
																		
			
				
																						Many
																											programmers
																											believe
																											Intel
																											compiler
																											the
																											best
																											optimizing
																											compilers
																											available
																											on
																											the
																											market,
																											and
																											prefer
																											to
																											use
																											the
																											it
																											for
																											the
																											most
																											demanding
																											productivity
																											programs.
																											In
																											addition,
																											Intel
																											provides
																											many
															 
				
		 ParaCrawl v7.1
			
																						Mit
																											Version
																											2.6
																											wurden
																											einige
																											Optimierungen
																											für
																											den
																											Compiler
																											in
																											die
																											Make
																											Datei
																											eingeführt,
																											wodurch
																											Mesa
																											für
																											den
																											Einsatz
																											mit
																											den
																											populären
																											Spielen
																											GlQuake
																											und
																											Quake
																											II
																											optimiert
																											wird.
																		
			
				
																						Starting
																											with
																											Mesa
																											2.6
																											there
																											have
																											been
																											compiler
																											optimizations
																											written
																											into
																											the
																											makefile
																											that
																											allow
																											the
																											compiler
																											to
																											produce
																											code
																											that
																											will
																											optimize
																											Mesa
																											for
																											use
																											with
																											the
																											famous
																											GlQuake
																											and
																											QuakeII
																											games!
															 
				
		 ParaCrawl v7.1