Browse College of Engineering by Subject "(co)monad specification"

  • Chen, Xiaohong; Lucanu, Dorel; Rosu, Grigore (2020-07)
    Matching logic was recently proposed as a unifying logic for specifying and reasoning about static structure and dynamic behavior of programs. In matching logic, patterns and specifications are used to uniformly represent ...

    application/pdf

    application/pdfPDF (868kB)