Compiler specification and verification :: SCD d'Orléans

Compiler specification and verification

Compiler specification and verification

Salvato in:

Dettagli Bibliografici
Autore principale:	Polak, Wolfgang, 1950-
Natura:	Thèse numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science 124
Soggetti:	Informatique Logiciels > Vérification Langages de programmation Compilateurs (logiciels)
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Compiler specification and verification, Wolfgang Polak, Berlin, Springer-Verlag, 1981, 1 vol. (XIII-269 p.), Lecture notes in computer science, 3-540-10886-6 • Compiler Specification and Verification, Texte imprimé, 9783662167748

Documenti analoghi

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

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

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

GAG : a practical compiler generator
di: Kastens, Uwe, et al.

Les compilateurs et leurs principes
di: Hajjam El Hassani, Amir
Pubblicazione: (1994)

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

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

Compilateurs : principes, techniques et outils
di: Aho, Alfred Vaino, 1941-...., chercheur en informatique, et al.
Pubblicazione: (2007)

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 : 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 : 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
di: Jähnichen, Stefan, 19..-

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 : 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 compilers and high speed compilation : 2nd CCHSC workshop, Berlin, GDR, October 10 14, 1988 : proceedings

Verification, model checking, and abstract interpretation : Third International Workshop, VMCAI 2002 Venice, Italy, January 21 22, 2002 : revised papers
Pubblicazione: (2003)

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
di: Steffen, Bernhard, 1956-

SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 : proceedings

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings

Formal verification of trusted layers of software : application to the TPM Software Stack
di: Ziani, Yani, 1995-
Pubblicazione: (2025)

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

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

Program verification using Ada
di: McGettrick, Andrew D., 1944-
Pubblicazione: (1982)

Optimal interprocedural program optimization : a new framework and its application
di: Knoop, Jens

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

Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
di: Dershowitz, Nachum, 1951-

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

Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers

Aide à la vérification de programmes concurrents par transformation de code et de spécifications
di: Blanchard, Allan, 1990-
Pubblicazione: (2016)

Compilation des langages de programmation : ce que fait un compilateur, comment le réaliser
di: Gautier, Martine, 1960-...., maître de conférences
Pubblicazione: (2006)

Specification and compositional verification of real-time systems
di: Hooman, Jozef, 19..-

Théorie des langages et compilation : brefs résumés de cours et exercices corrigés
di: Aït El Hadj, Ali, 19..-...., professeur d'informatique
Pubblicazione: (2018)

Théorie des langages et compilation : brefs résumés de cours et exercices corrigés
di: Aït El Hadj, Ali, 19..-...., professeur d'informatique
Pubblicazione: (2018)

Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization
di: Fahringer, Thomas, 1965-, et al.

Compilateurs : principes, techniques et outils
di: Aho, Alfred Vaino, 1941-, et al.
Pubblicazione: (1989)

Model checking software : 9th International SPIN Workshop Grenoble, France, April 11 13, 2002 : proceedings

Model checking software : 10th International SPIN workshop, Portland, OR, USA, may 9-10, 2003 : 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