1![Oh Lord, Please Don’t Let Contracts Be Misunderstood (Functional Pearl) Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen PLT, USA {chrdimo,maxsnew,robby,matthias}@racket-lang.org Oh Lord, Please Don’t Let Contracts Be Misunderstood (Functional Pearl) Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen PLT, USA {chrdimo,maxsnew,robby,matthias}@racket-lang.org](https://www.pdfsearch.io/img/8a5b9e68cbdeea40f8a181541f4ca7d4.jpg) | Add to Reading ListSource URL: www.eecs.northwestern.eduLanguage: English - Date: 2016-08-09 10:09:16
|
---|
2![A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs Claudio Corrodi1,2? , Alexander Heußner3 , and Christopher M. Poskitt1,4? Department of Computer Science, ETH Zürich, Switzerland Software Composit A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs Claudio Corrodi1,2? , Alexander Heußner3 , and Christopher M. Poskitt1,4? Department of Computer Science, ETH Zürich, Switzerland Software Composit](https://www.pdfsearch.io/img/675b0171fc065ff79fba7b0798778c95.jpg) | Add to Reading ListSource URL: se.inf.ethz.chLanguage: English - Date: 2016-03-01 11:02:40
|
---|
3![Really Automatic Scalable Object-Oriented Reengineering Marco Trudel1 , Carlo A. Furia1 , Martin Nordio1 , and Bertrand Meyer1,2 2 1 Really Automatic Scalable Object-Oriented Reengineering Marco Trudel1 , Carlo A. Furia1 , Martin Nordio1 , and Bertrand Meyer1,2 2 1](https://www.pdfsearch.io/img/d9968fb9bfc04807371f42ffe2cfd8d3.jpg) | Add to Reading ListSource URL: se.inf.ethz.chLanguage: English - Date: 2013-06-07 05:25:51
|
---|
4![EIFFEL TOWER REGULATIONS The present regulations have been drawn up by the company in charge of operating the Eiffel Tower (SETE) on behalf of the City of Paris, owner of the monument. They are applicable to visitors to EIFFEL TOWER REGULATIONS The present regulations have been drawn up by the company in charge of operating the Eiffel Tower (SETE) on behalf of the City of Paris, owner of the monument. They are applicable to visitors to](https://www.pdfsearch.io/img/43c944d6fc56f4729d99dbad8802e2cc.jpg) | Add to Reading ListSource URL: www.toureiffel.parisLanguage: English - Date: 2014-01-22 05:02:52
|
---|
5![The AutoProof Verifier: Usability by Non-Experts and on Standard Code Carlo A. Furia Christopher M. Poskitt The AutoProof Verifier: Usability by Non-Experts and on Standard Code Carlo A. Furia Christopher M. Poskitt](https://www.pdfsearch.io/img/c660916c4dd3c39fc5ad85cd9f2d534f.jpg) | Add to Reading ListSource URL: se.inf.ethz.chLanguage: English - Date: 2015-08-14 13:22:55
|
---|
6![IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical](https://www.pdfsearch.io/img/e4e7f14270404c8c1b76ac09631294b0.jpg) | Add to Reading ListSource URL: se.inf.ethz.chLanguage: English - Date: 2011-12-12 05:32:44
|
---|
7![Automated Program Repair in an Integrated Development Environment Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer Chair of Software Engineering, Department of Computer Science, ETH Zurich, Switzerland Email: first Automated Program Repair in an Integrated Development Environment Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer Chair of Software Engineering, Department of Computer Science, ETH Zurich, Switzerland Email: first](https://www.pdfsearch.io/img/801b1cca54bdacaef085f24ec6c50c49.jpg) | Add to Reading ListSource URL: se.inf.ethz.chLanguage: English - Date: 2015-02-17 06:56:50
|
---|
8![Applying Search in an Automatic Contract-Based Testing Tool Alexey Kolesnichenko, Christopher M. Poskitt, and Bertrand Meyer ETH Z¨ urich, Switzerland Applying Search in an Automatic Contract-Based Testing Tool Alexey Kolesnichenko, Christopher M. Poskitt, and Bertrand Meyer ETH Z¨ urich, Switzerland](https://www.pdfsearch.io/img/a005b8f40c8e71e2068e78fb87d47df3.jpg) | Add to Reading ListSource URL: se.inf.ethz.chLanguage: English - Date: 2013-08-30 12:25:15
|
---|
9![A comparative study of programmer-written and automatically inferred contracts Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch A comparative study of programmer-written and automatically inferred contracts Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch](https://www.pdfsearch.io/img/becee4724d69b7a81b0d97c18503c715.jpg) | Add to Reading ListSource URL: se.ethz.chLanguage: English - Date: 2011-03-11 06:33:20
|
---|
10![1 An automatic technique for static deadlock prevention Bertrand Meyer ETH Zurich, Innopolis University & Eiffel Software 1 An automatic technique for static deadlock prevention Bertrand Meyer ETH Zurich, Innopolis University & Eiffel Software](https://www.pdfsearch.io/img/c4725c51f97e786aa2cc5db424360b76.jpg) | Add to Reading ListSource URL: se.ethz.chLanguage: English - Date: 2015-02-12 01:13:29
|
---|