Browse Research and Tech Reports - Computer Science by Subject "Boolean programs"

  • Kumar, Viraj; Madhusudan, P.; Viswanathan, Mahesh (2006-06)
    Boolean programs with recursion are convenient abstractions of sequential, imperative programs. Recursive state machines (RSM) serve as machine models for Boolean programs and are semantically equivalent to pushdown automata. ...

    application/pdf

    application/pdfPDF (330Kb)