Lee Naish

CoRR, 2024

2018

Spectral-based fault localization using hyperbolic function.

[BibT_eX]

[DOI]

Neelofar

Softw. Pract. Exp., 2018

2017

Improving spectral-based fault localization using static analysis.

[BibT_eX]

[DOI]

Neelofar

Jason Lee

Softw. Pract. Exp., 2017

An analysis of New South Wales electronic vote counting.

[BibT_eX]

[DOI]

Proceedings of the Australasian Computer Science Week Multiconference, 2017

2016

Adtpp: lightweight efficient safe polymorphic algebraic data types for C.

[BibT_eX]

[DOI]

Peter Schachte

Aleck M. MacNally

Softw. Pract. Exp., 2016

Similarity to a single set.

[BibT_eX]

[DOI]

PeerJ Prepr., 2016

2015

Sharing analysis in the Pawns compiler.

[BibT_eX]

[DOI]

PeerJ Prepr., 2015

Multiple Bug Spectral Fault Localization Using Genetic Programming.

[BibT_eX]

[DOI]

Neelofar

Proceedings of the 24th Australasian Software Engineering Conference, 2015

2014

Truth versus information in logic programming.

[BibT_eX]

[DOI]

Harald Søndergaard

Theory Pract. Log. Program., 2014

Transforming floundering into success.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2014

Four-Valued Reasoning and Cyclic Circuits.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014

2013

Duals in Spectral Fault Localization.

[BibT_eX]

[DOI]

Proceedings of the 22nd Australian Conference on Software Engineering (ASWEC 2013), 2013

2012

Logic Programming: From Underspecification to Undefinedness.

[BibT_eX]

[DOI]

Harald Søndergaard

Benjamin Horsfall

Proceedings of the Eighteenth Computing: The Australasian Theory Symposium, 2012

Spectral debugging: How much better can we do?

[BibT_eX]

Proceedings of the Thirty-Fifth Australasian Computer Science Conference, 2012

Declarative Diagnosis of Floundering in Prolog.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth Australasian Computer Science Conference, 2012

Individually tailored client-focused reports for ubiquitous devices: An experimental analysis.

[BibT_eX]

[DOI]

Proceedings of the Australasian Conference on Information Systems, 2012

2011

A model for spectra-based software diagnosis.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2011

2010

Effective Software Bug Localization Using Spectral Frequency Weighting Function.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

Statements versus Predicates in Spectral Bug Localization.

[BibT_eX]

[DOI]

Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009

Shuffle-sum: coercion-resistant verifiable tallying for STV voting.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2009

Spectral Debugging with Weights and Incremental Ranking.

[BibT_eX]

[DOI]

Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

2008

Probabilistic Declarative Debugging.

[BibT_eX]

[DOI]

J. Funct. Log. Program., 2008

Coercion-Resistant Tallying for STV Voting.

[BibT_eX]

[DOI]

Vanessa Teague

Kim Ramchen

Proceedings of the 2008 USENIX/ACCURATE Electronic Voting Workshop, 2008

2007

Declarative Diagnosis of Floundering

[BibT_eX]

[DOI]

CoRR, 2007

Resource-Oriented Deadlock Analysis.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 23rd International Conference, 2007

2006

A three-valued semantics for logic programmers.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2006

2003

Practical aspects of declarative debugging in Haskell 98.

[BibT_eX]

[DOI]

Bernard J. Pope

Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

A Program Transformation for Debugging Haskell 98.

[BibT_eX]

[DOI]

Bernard J. Pope

Proceedings of the Computer Science 2003, 2003

Approximating the Success Set of Logic Programs Using Constrained Regular Types.

[BibT_eX]

[DOI]

Proceedings of the Computer Science 2003, 2003

2002

Visual representations for recursive algorithms.

[BibT_eX]

[DOI]

Linda Stern

Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002

2001

Guest editor's introduction Special issue on Logic Programming and the Internet.

[BibT_eX]

[DOI]

Leon Sterling

Manuel V. Hermenegildo

Theory Pract. Log. Program., 2001

Specialisation of Higher-Order Functions for Debugging.

[BibT_eX]

[DOI]

Bernard J. Pope

Proceedings of the International Workshop on Functional and (Constraint) Logic Programming, 2001

2000

Stepwise Enhancement and Higher-Order Programming in Prolog.

[BibT_eX]

Leon Sterling

J. Funct. Log. Program., 2000

A Three-Valued Semantic for Horn Clause Programs.

[BibT_eX]

[DOI]

Proceedings of the 23rd Australasian Computer Science Conference (ACSC 2000), 31 January, 2000

1999

A strategy for managing content complexity in algorithm animation.

[BibT_eX]

[DOI]

Linda Stern

Harald Søndergaard

Proceedings of the 4th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 1999

1997

A Declarative Debugging Scheme.

[BibT_eX]

[DOI]

J. Funct. Log. Program., 1997

A Three-Valued Declarative Debugging Scheme.

[BibT_eX]

Proceedings of the 8th Workshop on Logic Programming Environments, 1997

A Higher Order Reconstruction of Stepwise Enhancement.

[BibT_eX]

[DOI]

Leon Sterling

Proceedings of the Logic Programming Synthesis and Transformation, 1997

1996

A Declarative View of Modes.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 1996

1992

Declarative Diagnosis of Missing Answers.

[BibT_eX]

[DOI]

New Gener. Comput., 1992

Declarative Debugging of Lazy Functional Programs.

[BibT_eX]

Proceedings of the 4th Workshop on Logic Programming Environments (LPE 1992), 1992

Types and the Intended Meaning of Logic Programs.

[BibT_eX]

Proceedings of the Types in Logic Programming., 1992

1991

Adding equations to NU-Prolog.

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1991

NUA-Prolog: An Extension to the WAM for Parallel Andorra.

[BibT_eX]

Doug Palmer

Proceedings of the Logic Programming, 1991

Verification of Logic Programs and Imperative Programs.

[BibT_eX]

Proceedings of the Constructing Logic Programs, 1991

1989

Proving Properties of Committed Choice Logic Programs.

[BibT_eX]

[DOI]

J. Log. Program., 1989

The NU-Prolog Debugging Environment.

[BibT_eX]

Philip W. Dart

Justin Zobel

Proceedings of the Logic Programming, 1989

1988

Parallelizing NU-Prolog.

[BibT_eX]

Proceedings of the Logic Programming, 1988

Most Specific Logic Programs.

[BibT_eX]

Kim Marriott

Jean-Louis Lassez

Proceedings of the Logic Programming, 1988

A Superjoin Algorithm for Deductive Databases.

[BibT_eX]

[DOI]

James A. Thom

Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988

The NU-Prolog Deductive Database System.

[BibT_eX]

Proceedings of the Prolog and Databases, Implementations and New Directions. , 1988

1987

The NU-Prolog Deductive Database System.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 1987

Concurrent Database Updates in PROLOG.

[BibT_eX]

James A. Thom

Proceedings of the Logic Programming, 1987

Specification = Program + Types.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1987

1986

A Superjoin Algorithm for Deductive Databases.

[BibT_eX]

[DOI]

James A. Thom

Proceedings of the VLDB'86 Twelfth International Conference on Very Large Data Bases, 1986

Negation and Quantifiers in NU-Prolog.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Logic Programming, 1986

Negation and Control in Prolog

[BibT_eX]

[DOI]

Lecture Notes in Computer Science 238, Springer, ISBN: 3-540-16815-X, 1986

1985

Negation and control in PROLOG.

[BibT_eX]

[DOI]

PhD thesis, 1985

Automating Control for Logic Programs.

[BibT_eX]

[DOI]

J. Log. Program., 1985

All Solutions Predicates in Prolog.

[BibT_eX]

Proceedings of the 1985 Symposium on Logic Programming, 1985

Prolog Control Rules.

[BibT_eX]

[DOI]

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1984

Heterogeneous SLD Resolution.

[BibT_eX]

[DOI]