Cover Image

Compiler specification and verification /

Bibliographic Details
Main Author:	Polak, Wolfgang, 1950-
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1981.
Series:	Lecture notes in computer science ; 124.
Subjects:	Compilers (Computer programs) Computer programs > Verification. spécification compilateur. langage cible. langage source. conception compilateur. compilation. Compilation (Ordinateurs) Logiciels > Vérification. Compilers. Compiler. Programmierung. Verifikation. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction /
by: Müller-Olm, Markus
Published: (1997)

Compiler construction : 4th International Conference CC'92, Paderborn, FRG, October 5-7, 1992 : proceedings /
Published: (1992)

Compiler compilers : Third International Workshop CC '90, Schwerin, FRG, October 22-24, 1990 : proceedings /
Published: (1991)

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 /
Published: (2004)

Engineering a compiler /
by: Cooper, Keith
Published: (2012)

Engineering a compiler /
by: Cooper, Keith, active 1976
Published: (2012)

Engineering a compiler /
by: Cooper, Keith D. (Keith Daniel), et al.
Published: (2023)

Compiler compilers and high speed compilation : 2nd CCHSC Workshop, Berlin, GDR, October 10-14, 1988 : proceedings /
Published: (1989)

Compiler construction : an advanced course. /
Published: (1974)

Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization /
by: Fahringer, Thomas, 1965-
Published: (2003)

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction /
by: Müller-Olm, Markus
Published: (1997)

Compiler construction /
by: Wirth, Niklaus
Published: (1996)

Compiler optimizations for scalable parallel systems : languages, compilation techniques, and run time systems /
Published: (2001)

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 /
Published: (2002)

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 /
Published: (1999)

Compiler construction : 9th international conference, CC 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April : proceedings /
Published: (2000)

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 /
Published: (2001)

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 /
Published: (2003)

Program logics for certified compilers /
by: Appel, Andrew W., 1960-
Published: (2014)

International Symposium on Code Generation and Optimization : [proceedings].
Published: (2003)

Loop parallelization /
by: Banerjee, Utpal, 1942-
Published: (1994)

The definitive guide to GCC /
by: Wall, Kurt
Published: (2004)

Languages and compilers for parallel computing : 7th International Workshop, Ithaca, NY, USA, August 8-10, 1994 : proceedings /
Published: (1995)

Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January, 1980 /
Published: (1980)

Symbolic analysis for parallelizing compilers /
by: Haghighat, Mohammad R., 1959-
Published: (1995)

Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings /
Published: (2023)

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

Compiler compilers : Third International Workshop CC '90, Schwerin, FRG, October 22-24, 1990 : proceedings /
Published: (1991)

Compiler construction : 15th international conference, CC 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006 : proceedings /
Published: (2006)

The definitive guide to GCC /
by: Von Hagen, William
Published: (2006)

Optimizing compilers for modern architectures ; a dependence-based approach /
by: Allen, Randy
Published: (2002)

Data flow analysis : theory and practice /
by: Khedker, Uday
Published: (2009)

Compilers : principles, techniques, & tools /
Published: (2007)

Compiler design /
by: Mohan, H. S.
Published: (2014)

Compiler construction : principles and practice /
by: Louden, Kenneth C.
Published: (1997)

Modern compiler design /
Published: (2000)

Elements of compiler design /
by: Meduna, Alexander, 1957-
Published: (2008)

Engineering a compiler /
by: Cooper, Keith D.
Published: (2004)

Crafting a compiler /
by: Fischer, Charles N.
Published: (2010)

Crafting a compiler /
by: Fischer, Charles N.
Published: (1988)