Axel Dold und Vincent Vialard Person-Info

( Ich bin Axel Dold)

(1 - 10 von 11

)

FST TCS 2001: Foundations of Software Technology and Theoretical...

books.google.de

21st Conference, Bangalore, India, December , 2001, Proceedings Ramesh Hariharan, Madhavan Mukund, V. Vinay. A Mechanically Verified Compiling Specification for a Lisp Compiler⋆ Axel Dold and Vincent Vialard Fakultät für Informatik Universität Ulm D Ulm, Germany Fax: +49/(0)

Tool Support for System Specification, Development and Verification -...

books.google.de

Thanks to Axel Dold, Vincent Vialard and F.W. von Henke for their suggestions, and for trying reflexive functions, in particular a linear graph example, in PVS. Wolfgang Reif and Hans Langmaack gave a lot of useful hints and suggestions and we thank our Verific colleagues at Ulm and Karlsruhe and our colleagues at Kiel ...

Abstract State Machines Advances in Theory and Practice: 11th...

books.google.de

DV01. Axel Dold and Vincent Vialard. A Mechanically Verified Compiling Specification for a Lisp Compiler. In Proceedings of the 21st Conference on Software ...

dblp: Vincent Vialard

dblp.uni-trier.de

List of computer science publications by Vincent Vialard

A Mechanically Verified Compiling Specification for a Lisp ...springer.com

link.springer.com

von A Dold · · Zitiert von: 30 — Axel Dold and Vincent Vialard. Fakultät für Informatik. Universität Ulm. D Ulm, Germany. Fax: +49/(0) &#-ulm. › content › pdf

Have Your Compiler and Extend It Too Zachary Tatlock UC ...SlidePlayer

slideplayer.com

... Proceedings of the international conference on Compilers, architecture, and synthesis for em-bedded systems, Axel Dold, and Vincent Vialard; ... › slide

(PDF) Compiler verification | Maulik Dave - Academia.eduAcademia.edu

www.academia.edu

16 Axel Dold, and Vincent Vialard; A Mechanically Verified 2 Sabine Glesner, and Jan Olaf Blech; Classifying and For- Compiling Specification for a Lisp ... › Com...

CiteSeerX — ASM-Based Mechanized Verification of Compiler Back-Ends

citeseerx.ist.psu.edu

BibTeX. @MISC{Dold_asm-basedmechanized, author = {Axel Dold and Thilo S. Gaul and Vincent Vialard and Wolf Zimmermann}, title = {ASM-Based Mechanized Verification of Compiler Back-Ends}, year = {} } ...

Common Lisp subset for dynamic compilation - HOPLHOPL

hopl.info

... Axel Dold, Vincent Vialard (2001) Axel Dold, Vincent Vialard "A Mechanically Verified Compiling Specification for a Lisp Compiler" online Abstract ps › showlanguage

Abstract State Machines: Compiler Back-end Rewrite SystemsUniversity of Michigan

web.eecs.umich.edu

— Axel Dold, Thilo Gaul, Vincent Vialard, and Wolf Zimmerman, "ASM-Based Mechanized Verification of Compiler Back-Ends". In Proceedings of the ... › burs

Alle Infos zum Namen "Axel Dold"

Verwandte Suchanfragen zu Axel Dold

Wolfgang Goerigk
Holger Pfeifer
Vincent Vialard

Thilo Gaul
Hans Kraut
Tiziana Margaria

Daniela Damm
Harald Rueß
Roland Dold

Person "Dold" (3)
Vorname "Axel" (23019)
Name "Dold" (622)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Impressum AGB Datenschutz

+1

Weltweit