6 citations · 7 across the 4 of their papers we have counts for
4 papers
Sharing Analysis in the Pawns Compiler
Lee Naish
Pawns is a programming language under development that supports algebraic data types, polymorphism, higher order functions and "pure" declarative programming. It also supports impu…
An analysis of New South Wales electronic vote counting
Andrew Conway, Michelle Blom, Lee Naish +1
We re-examine the 2012 local government elections in New South Wales, Australia. The count was conducted electronically using a randomised form of the Single Transferable Vote (STV…
Declarative Diagnosis of Floundering
Lee Naish
Many logic programming languages have delay primitives which allow coroutining. This introduces a class of bug symptoms -- computations can flounder when they are intended to succe…
A three-valued semantics for logic programmers
Lee Naish
This paper describes a simpler way for programmers to reason about the correctness of their code. The study of semantics of logic programs has shown strong links between the model…