1![1 Annotation inference for modular checkers Cormac Flanagan, Rajeev Joshi, and K. Rustan M. Leino Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CA 94301, U.S.A. 1 Annotation inference for modular checkers Cormac Flanagan, Rajeev Joshi, and K. Rustan M. Leino Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CA 94301, U.S.A.](https://www.pdfsearch.io/img/3a24bb9a078d61259d4565f5b76a4094.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:26:03
|
---|
2![REUNION REPORT The morning of Saturday 23 April 2016 Bob Nash and Tony Flanagan got together in the Dawson Room at the Atura Hotel and started making up the Reunion gift bags for the Meet and Greet that night. In the aft REUNION REPORT The morning of Saturday 23 April 2016 Bob Nash and Tony Flanagan got together in the Dawson Room at the Atura Hotel and started making up the Reunion gift bags for the Meet and Greet that night. In the aft](https://www.pdfsearch.io/img/5250b6d518222d08a3cbc8e16b3401f0.jpg) | Add to Reading ListSource URL: gallery.mailchimp.comLanguage: English - Date: 2016-05-09 02:37:12
|
---|
3![WALSH/WELSH & FLANAGAN FAMILY HISTORY Written by Kaila A. Welsh-Lamp and WALSH/WELSH & FLANAGAN FAMILY HISTORY Written by Kaila A. Welsh-Lamp and](https://www.pdfsearch.io/img/ff8c447856aafb7d3d82fa842f8d18ae.jpg) | Add to Reading ListSource URL: candocanal.orgLanguage: English - Date: 2018-06-05 10:48:00
|
---|
4![Science of Computer Programming–165 www.elsevier.com/locate/scico Type inference against races Cormac Flanagan a,∗ , Stephen N. Freund b a Computer Science Department, University of California at Santa Science of Computer Programming–165 www.elsevier.com/locate/scico Type inference against races Cormac Flanagan a,∗ , Stephen N. Freund b a Computer Science Department, University of California at Santa](https://www.pdfsearch.io/img/ae4102cde248a6a6329e1e24fa36611a.jpg) | Add to Reading ListSource URL: dept.cs.williams.eduLanguage: English - Date: 2018-08-12 09:38:05
|
---|
5![Hybrid Types, Invariants, and Refinements For Imperative Objects Cormac Flanagan Stephen N. Freund Hybrid Types, Invariants, and Refinements For Imperative Objects Cormac Flanagan Stephen N. Freund](https://www.pdfsearch.io/img/094d4e59e43b45a7d4168e275a83aef4.jpg) | Add to Reading ListSource URL: dept.cs.williams.eduLanguage: English - Date: 2018-08-12 09:37:30
|
---|
6![A SIMPLE AND SENSITIVE METHOD FOR THERAPEUTIC MONITORING OF AMISULPRIDE IN HUMAN PLASMA/SERUM Connally Ga, Morgan PEb, Spencer EPb, Flanagan RJb of Chemistry, Loughborough, , Leicestershire LE11 3TU, UK bMedical Toxicolo A SIMPLE AND SENSITIVE METHOD FOR THERAPEUTIC MONITORING OF AMISULPRIDE IN HUMAN PLASMA/SERUM Connally Ga, Morgan PEb, Spencer EPb, Flanagan RJb of Chemistry, Loughborough, , Leicestershire LE11 3TU, UK bMedical Toxicolo](https://www.pdfsearch.io/img/605e2159b301725fdc5e9d1737e3591a.jpg) | Add to Reading ListSource URL: www.the-ltg.orgLanguage: English - Date: 2013-07-04 02:53:03
|
---|
7![United States District Court Southern District of Illinois Michael J. Reagan, Chief United States District Judge Justine Flanagan, Acting Clerk of Court MEDIA ACCESS AGREEMENT United States District Court Southern District of Illinois Michael J. Reagan, Chief United States District Judge Justine Flanagan, Acting Clerk of Court MEDIA ACCESS AGREEMENT](https://www.pdfsearch.io/img/f5492d9de907c576bc03092401a8ac20.jpg) | Add to Reading ListSource URL: www.ilsd.uscourts.govLanguage: English - Date: 2014-11-04 15:19:00
|
---|
8![Thread-Modular Verification For Shared-Memory Programs1 Cormac Flanagan, Stephen N. Freund, and Shaz Qadeer Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CAAbstract. Ensuring the reliability of mult Thread-Modular Verification For Shared-Memory Programs1 Cormac Flanagan, Stephen N. Freund, and Shaz Qadeer Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CAAbstract. Ensuring the reliability of mult](https://www.pdfsearch.io/img/05d60b7409ebe71ef8d93db9a7304b5a.jpg) | Add to Reading ListSource URL: dept.cs.williams.eduLanguage: English - Date: 2018-08-12 09:37:24
|
---|
9![Compositional and Decidable Checking for Dependent Contract Types Kenneth Knowles Cormac Flanagan Compositional and Decidable Checking for Dependent Contract Types Kenneth Knowles Cormac Flanagan](https://www.pdfsearch.io/img/fc513ca55b1200ecfe00aac3d2d7420f.jpg) | Add to Reading ListSource URL: kennknowles.com- Date: 2011-11-04 03:44:32
|
---|
10![Temporal Higher-Order Contracts Tim Disney, Cormac Flanagan, Jay McCarthy This material is based upon work supported by the National Science Foundation under Grantsand Temporal Higher-Order Contracts Tim Disney, Cormac Flanagan, Jay McCarthy This material is based upon work supported by the National Science Foundation under Grantsand](https://www.pdfsearch.io/img/b6e1ad2c6cb90984e5fa74beacb6ba64.jpg) | Add to Reading ListSource URL: jeapostrophe.github.io- Date: 2018-04-03 12:30:31
|
---|