Flanagan

Results: 915



#Item
11 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.

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2010-09-11 18:26:03
2REUNION 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

Add to Reading List

Source URL: gallery.mailchimp.com

Language: English - Date: 2016-05-09 02:37:12
    3WALSH/WELSH & FLANAGAN FAMILY HISTORY Written by Kaila A. Welsh-Lamp and

    WALSH/WELSH & FLANAGAN FAMILY HISTORY Written by Kaila A. Welsh-Lamp and

    Add to Reading List

    Source URL: candocanal.org

    Language: English - Date: 2018-06-05 10:48:00
      4Science 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

      Add to Reading List

      Source URL: dept.cs.williams.edu

      Language: English - Date: 2018-08-12 09:38:05
        5Hybrid 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

        Add to Reading List

        Source URL: dept.cs.williams.edu

        Language: English - Date: 2018-08-12 09:37:30
          6A 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

          Add to Reading List

          Source URL: www.the-ltg.org

          Language: English - Date: 2013-07-04 02:53:03
            7United 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

            Add to Reading List

            Source URL: www.ilsd.uscourts.gov

            Language: English - Date: 2014-11-04 15:19:00
              8Thread-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

              Add to Reading List

              Source URL: dept.cs.williams.edu

              Language: English - Date: 2018-08-12 09:37:24
                9Compositional and Decidable Checking for Dependent Contract Types Kenneth Knowles Cormac Flanagan

                Compositional and Decidable Checking for Dependent Contract Types Kenneth Knowles Cormac Flanagan

                Add to Reading List

                Source URL: kennknowles.com

                - Date: 2011-11-04 03:44:32
                  10Temporal 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

                  Add to Reading List

                  Source URL: jeapostrophe.github.io

                  - Date: 2018-04-03 12:30:31