Now showing items 1-2 of 2

    • FORUM and its implementation 

      Urban, Christian (University of St Andrews, 1997) - Thesis
      Miller presented Forum as a specification logic: Forum extends several existing logic programming languages, for example Prolog, LO and Lolli. The crucial change in Forum is the extension from single succedent sequents, ...
    • POSIX lexing with derivatives of regular expressions (proof pearl) 

      Ausaf, Fahad; Dyckhoff, Roy; Urban, Christian (Springer, 2016) - Conference item
      Brzozowski introduced the notion of derivatives for regular expressions. They can be used for a very simple regular expression matching algorithm. Sulzmann and Lu cleverly extended this algorithm in order to deal with POSIX ...