Search Results

    ArticlesSee all articles results »

    From journals and magazines

    1. SMT-Based Bounded Model Checking for Embedded ANSI-C Software

      http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3dS8MwEA-bT744dYLTKRX2JGZLm6ZJYAy2seEHCrqJ-FTSJmUPc5O54b_vpV8q7sGnBu5oSy6XuySX3w-hFkR16bLEx8bXCvvgE1hKL8E0SaJAyUjzIKW9Frev3uOTGA8r6Kq8C2OMSYvPTNs207N8vYw3dqusw6RFB_OrqMolye5qfZdzcM4KfEzGhMzv4rlEdqaTUYbVaQFJf0SflE7lzxycBpZxDb0Uv5RWVbezqpJsf-FXuXWB2_jfv99He3mu6fSzwXGAKmZxiGoFj4OTu3Ud3U3up3gA4Uw7A8uyBE9LkTZ3hjMT2610BzJbZ_QWGW1l3Vmv_zC56XZmPQztoW04E5jOP9XKHKHn8Wg6vMY5yQKOqeuvsQIXhpyGm4jEJBAJoVQLHXEaaF8Lj6vA8zTXTLoqiWFWZYxyV2kawbrECMhXjpEjQeJxwhREe3tOGhHjcmrA2LFvaEAb6LLo9TDOocctA8Y8TJcgRIZgotCaKGSygVql8nuGuLFdrW67uFTJe7eBmoU5w9wbP0KXBgHxORcgvijF4Ef2cEQtzHIDOoTCYllATD_Z_uZTtAufzkt1m2hnvdqYs4xC4jwdil82ydra

      by Cordeiro, L.; Fischer, B. and Marques-Silva, J.

      Ieee Transactions On Software Engineering, Volume 38, Issue 4, pp. 957 - 974

      Journal Article : Full Text Online

      View Article PDF

    2. Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure (...)

      http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3dS8MwEA9TEcSH-QXOj5EH8S3aNmnTyhiMYVFB0c2BglCSLnGCzLHN_99L0hSGL_qW0JTSa3p3ufvd7xA6A6uehbFmRLGxIAz-CZJlkSZUa5mITI55Yttep3ev0dMgzfsNFPpaGIt29ylJq6l9sZvL4dMkphF5KbI1tAHGJjIorsFwVIdVAnBHuKEvqZSx4cdziYSIgOtMq_IOw3KT0s068mHnoaf--f00A5kUC5Cadu0uVvOmUWWO8iZ6q1_EYLEvHBbFRSVWQNqe7fFf77yDtk0FBDalCSD1XdRQ0z3U9P0fcKUO9tF7Lj4-yVBohTuTbu9heNu5nHQJjPtmgM0doHTmV7g3xb2KvBwvv_C9bYGF64WPDiS2wDb6r9wcVDB2x4MDNMqvn_s3pGrcQGbgbSwJpSIDP0hx8D0ll0JSmfJSJLGKYzDKXGrBeCnhGjgQMgEXsGRaMc0CJqSUMT1EONMli3gQC_AgTO5VBirkVMEGKpmiCW2h9soXKWaOnQPOMqCC4MzQQudepoU5sCwKz9BMC5BqYaVagFSP_rrwGG1ZKJ8NwJyg9eX8W526JhJtuwt_AASv0Vc

      by Sumii, Eijiro; Sekiguchi, Tatsurou; Oiwa, Yutaka and Yonezawa, Akinori

      Lecture Notes In Computer Science, pp. 133 - 153

      Book Chapter : Full Text Online

    3. Predicate Abstraction of ANSI-C Programs Using SAT

      http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1bb9MwFLYKvMADl4HEnTzAXipvsZ2b0TQoJRGX0cGaSvBkJbGjTtpalLaT9mP4rxzHcZIJEEO8RG5UJ5H9-Zzv2OeC0HPQ6pz4pYeVJzPswZrAnNMSs7LMg4znMgzqstfRh2_0y1GUjAeDHzYWpvZl1vb5qlkqv4ly0PGq2r_x3FaYenXcHKzr_SWXvJ19jAXYvun2Gcxs7zdMul2B2y9Y8r94gXuAGB1_-w-YaR8KN6ANyIErYAeul0LP56o-wFmr4SjXmyGFJZajyfQ9Huv4Au3WtRoal4PpKO2z3EQT4ZOmOnXtcGsSRg_lBX-RzjcolqebhWyFf7VUi6bWigmBb_eB5ll1ritJGMWwzlbzrJNbVXZWizob3mY3M7zWW6vdlaQ-5pHJNW4FtImMboBIMevJW-L6PdVNTJqBX7SCyU6RwxBrQ8CkrPQ029uJeEj4Tsk6bWg9ACaHIpkdHIg0_ppeQdeoZlIgLqeTuFX0ETGF-uw325y2lO3mL__0pov8p6f-WcNp0tvoZmOMOCMz_3fQQC220C1b6MNp5P4WutHLWnkXvW7B4fTA4SxLZ2--r_Gxtzvfx9Ae64ZjoeLUUHEAKvfQLInT8TvcFOLAhUfcNZYg5AtClZf7sIDDMuA6nTEH7i8DSnKwuWWYh6qgbhTKgMgcSHwZSeCGUvmBlOw-cnhZeDR0_QwYoT5Lz11FQqbgeYWnWMAeIG7HRRRNenpdJeVE1G4SlIk3Ijk8-iS6MRX1mIoS-rK273eTpOVSvZ7Z4RcgU_VBWbZQy81K0CiI4FvDh3_9xyN0vYPxY3R1XW3UE1NX5GkNlp_rxI7G

      by Kroening, Daniel; Clarke, Edmund; Yorav, Karen and Sharygina, Natasha

      Formal Methods In System Design, Volume 25, Issue 2/3, pp. 105 - 127

      Journal Article : Full Text Online

      View Article PDF

    See all 2,098 Articles results

    Back to results navigation

    Books & MediaSee all books & media results »

    Books, music, movies and more

    1. Programming in ANSI C

      https://find.library.duke.edu/catalog/DUKE001120909

      Stephen G. Kochan.

      Book

      This item is currently Available Perkins & Bostock Library, QA76.73.C15 K62 1988 

    2. Programming in ANSI C

      https://find.library.duke.edu/catalog/DUKE003290414

      Stephen G. Kochan.

      Book

      Check Holdings for this item's availability Perkins & Bostock Library, QA76.73.C15 K62 1994 

      cover thumbnail

    3. C : an advanced introduction : ANSI C edition

      https://find.library.duke.edu/catalog/DUKE000819639

      Narain Gehani.

      Book

      Check Holdings for this item's availability Perkins & Bostock Library, 005.133 G311, C111, 1988 

    See all 171 Books & Media results

    Back to results navigation

    Our WebsiteSee all website results »

    Guides, policies, news more

    1. Excel Data: Clean for GIS Use - ArcMap Desktop Introduction - LibGuides at Duke University

      https://guides.library.duke.edu/arcgis/arcgis_excel

      If the GEO_ID2 field weren't there , we'd need to clean up columns C, D, and E, and then concatenate them into a single text string, (...)

    2. Nominate Someone Deserving - Preservation Underground

      https://blogs.library.duke.edu/preservation/2016/11/18/nominate-someone-deserving/

      Merrill-Oldham was instrumental in the development of standards and best practices, writing more than forty publications including co-authoring (...)

    See all 2 website results

    Back to results navigation

    Manuscript Collections

    Find books, manuscripts, and archive materials from Rubenstein Library

    Collection GuidesSee all collection guides results »

    Detailed inventories of archival collections

    1. Outdoor Advertising Association of America (OAAA) Archives, 1885-2019 and undated

      https://archives.lib.duke.edu/catalog/oaaaarchives

      The Outdoor Advertising Association of America (OAAA) Archives document the operations and activities of the OAAA, the primary professional (...)

    See results from 1 Collection Guides

    Back to results navigation

    Archival Materials

    Manuscripts and archival materials

    No Archival Materials results found for ANSI C

    Try another search »

    Try another search »

    Some materials and descriptions may include offensive content. More info

    More Search Options

    Need help? Ask a Librarian!