Modular compiler verification : :: SCD d'Orléans

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction

This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Unlike most other work on compiler verification, and with particular emphasis on modularity, it systematically covers correctness of t...

Szczegółowa specyfikacja

Zapisane w:

Opis bibliograficzny
1. autor:	Müller-Olm, Markus, 19..-
Format:	Livre numérique
Język:	Anglais
Wydane:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Seria:	Lecture notes in computer science 1283
Hasła przedmiotowe:	Génie logiciel Informatique Logiciels > Vérification Langages de programmation Logiciels Compilateurs (logiciels)
Dostęp 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
Komentarz:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Modular compiler verification, a refinement-algebraic approach advocating stepwise abstraction, Markus Müller-Olm, 1997, Berlin, Springer, 1 vol. (XII-250 p.), Lecture notes in computer science, 3-540-63406-1 • Modular Compiler Verification, Texte imprimé, 9783662167144

Podobne zapisy

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

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

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

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

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 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

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

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

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

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 : 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

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

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

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

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

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

GAG : a practical compiler generator
od: Kastens, Uwe, i wsp.

Les compilateurs et leurs principes
od: Hajjam El Hassani, Amir
Wydane: (1994)

Compiler compilers and high speed compilation : 2nd CCHSC workshop, Berlin, GDR, October 10 14, 1988 : proceedings

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

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

Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings

Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization
od: Fahringer, Thomas, 1965-, i wsp.

Compilateurs : principes, techniques et outils
od: Aho, Alfred Vaino, 1941-...., chercheur en informatique, i wsp.
Wydane: (2007)

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

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

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

Program verification using Ada
od: McGettrick, Andrew D., 1944-
Wydane: (1982)

Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings

A Survey of verification techniques for parallel programs
od: Barringer, Howard, 1951-

Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings

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

Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : 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