1 citations · 2 across the 3 of their papers we have counts for
3 papers
Teaching Simple Constructive Proofs with Haskell Programs
Matthew Farrugia-Roberts, Bryn Jeffries, Harald Søndergaard
In recent years we have explored using Haskell alongside a traditional mathematical formalism in our large-enrolment university course on topics including logic and formal language…
A Complete Refinement Procedure for Regular Separability of Context-Free Languages
Graeme Gange, Jorge A. Navas, Peter Schachte +2
Often, when analyzing the behaviour of systems modelled as context-free languages, we wish to know if two languages overlap. To this end, we present an effective semi-decision proc…
A Partial-Order Approach to Array Content Analysis
Graeme Gange, Jorge A. Navas, Peter Schachte +2
We present a parametric abstract domain for array content analysis. The method maintains invariants for contiguous regions of the array, similar to the methods of Gopan, Reps and S…