pure.royalholloway.ac.uk: 2 stories from 2 submitters

  1. 1
    Automated Verification of Go Programs via Bounded Model Checking (2021) pdf formalmethods go pure.royalholloway.ac.uk
    hwayne avatar via hwayne 4 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 4
    GLL Parsing with Flexible Combinators ☶ pdf compilers haskell pure.royalholloway.ac.uk
    nickpsecurity avatar via nickpsecurity 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments