Simple algebraic data types for C

Pieter H. Hartel, Henk Muller

    Research output: Book/ReportReportProfessional

    704 Downloads (Pure)

    Abstract

    Adt is a simple tool in the spirit of Lex and Yacc that makes monomorphic algebraic data types, polymorphic built-in types like the list and an efficient form of pattern matching available in C programs. C programs built with ADTs typically use NULL pointers only to indicate don't care values, and not as sentinels. This reduces the scope for errors involving NULL pointers. The Adt tool generates runtime checks, which catch many of the remaining NULL pointer dereferences. The runtime checks may consume a significant amount of CPU time; hence they can be switched off once the program is suitably debugged.
    Original languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages15
    Publication statusPublished - Apr 2010

    Publication series

    NameCTIT Technical Report Series
    PublisherCentre for Telematics and Information Technology, University of Twente
    No.TR-CTIT-10-10
    ISSN (Print)1381-3625

    Keywords

    • IR-70899
    • METIS-270781
    • EWI-17771
    • SCS-Cybersecurity

    Cite this

    Hartel, P. H., & Muller, H. (2010). Simple algebraic data types for C. (CTIT Technical Report Series; No. TR-CTIT-10-10). Enschede: Centre for Telematics and Information Technology (CTIT).