Compiler Construction - 22nd International Conference, CC 2013 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013 Rome, Italy, March 2013, Proceedings.pdf

Compiler Construction - 22nd International Conference, CC 2013 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013 Rome, Italy, March 2013, Proceedings

Ranjit Jhala

Date de parution

This book constitutes the proceedings of the 22nd International Conference on Compiler Construction, CC 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 13 papers presented in this book were Compiler Construction | SpringerLink

1.52 MB Taille du fichier
9783642370502 ISBN
Libre PRIX
Compiler Construction - 22nd International Conference, CC 2013 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013 Rome, Italy, March 2013, Proceedings.pdf

Technik

PC et Mac

Lisez l'eBook immédiatement après l'avoir téléchargé via "Lire maintenant" dans votre navigateur ou avec le logiciel de lecture gratuit Adobe Digital Editions.

iOS & Android

Pour tablettes et smartphones: notre application de lecture tolino gratuite

eBook Reader

Téléchargez l'eBook directement sur le lecteur dans la boutique www.hanlonbrothers.com.au ou transférez-le avec le logiciel gratuit Sony READER FOR PC / Mac ou Adobe Digital Editions.

Reader

Après la synchronisation automatique, ouvrez le livre électronique sur le lecteur ou transférez-le manuellement sur votre appareil tolino à l'aide du logiciel gratuit Adobe Digital Editions.

Notes actuelles

avatar
Sofya Voigtuh

The present paper introduces Scala-of-Coq, a new compiler that allows a Coq-based synthesis of Scala programs which are "correct-by-construction". A typical workflow features a user implementing a Coq functional program, proving this program's correctness with regards to its specification and making use of Scala-of-Coq to synthesize a Scala program that can seamlessly be integrated into an A Coq-based synthesis of Scala programs which are correct ...

avatar
Mattio Müllers

(ebook) Compiler Construction - 9783642370519 - …

avatar
Noels Schulzen

Compiler Construction: 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings On LR Parsing with Selective Delays | Request PDF

avatar
Jason Leghmann

Radu Iosif, Cristina Serban - LPAR-22. 22nd International Conference on Logic for Programming, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, M - [bibtex] Time-Triggered Mixed-Critical Scheduler. Dario Socci, Petro Poplavko, Saddek Bensalem, Marius Bozga - 1st International Workshop on Mixed Criticality Systems (WMC Proceedings of the 28th International Conference on Compiler Construction, CC ... Compiler Construction - 22nd International Conference, CC 2013, Held as Part ... Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, ... Compiler Construction, 19th International Conference, CC 2010, Held as Part of ...

avatar
Jessica Kolhmann

Jayvant Anantpur and R. Govindarajan, "Taming Control Divergence in GPUs through Control Flow Linearization", in Compiler Construction - 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5--13, 2014; CGO-2014 pdf