Harald Søndergaard - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

Information loss in knowledge compilation: A comparison of Boolean envelopesPeter Schachte, Harald Søndergaard, Leigh Whiting, Kevin Henshall. ai, 174(9-10):585-596, 2010. [doi]

2008

Inferring Congruence Equations Using SATAndy King, Harald Søndergaard. cav 2008: 281-293 [doi]

2007

Un-Kleene Boolean equation SolvingBrian Herlihy, Peter Schachte, Harald Søndergaard. ijfcs, 18(2):227-250, 2007. [doi]

Boolean Approximation RevisitedPeter Schachte, Harald Søndergaard. sara 2007: 329-343 [doi]

2006

Boolean equation solving as graph traversalBrian Herlihy, Peter Schachte, Harald Søndergaard. cats 2006: 123-132 [doi]

Closure Operators for ROBDDsPeter Schachte, Harald Søndergaard. vmcai 2006: 1-16 [doi]

2005

Making Connections: First Year Transition for Computer Science and Software Engineering StudentsAlistair Moffat, Baden Hughes, Harald Søndergaard, Paul Gruba. ace 2005: 229-238 [doi]

2004

What Drives Curriculum Change?Paul Gruba, Alistair Moffat, Harald Søndergaard, Justin Zobel. ace 2004: 109-117 [doi]

2002

Meta-circular Abstract Interpretation in PrologMichael Codish, Harald Søndergaard. BIRTHDAY 2002: 109-134 [doi]

Exception analysis for non-strict languagesKevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard. ICFP 2002: 98-109 [doi]

2001

Higher-Precision Groundness AnalysisMichael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey. ICLP 2001: 135-149 [doi]

Boolean Constraints for Binding-Time AnalysisKevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard. pado 2001: 39-62 [doi]

2000

Transforming Communication Skills Instruction: The Conference ApproachPaul Gruba, Harald Søndergaard. acsc 2000: 88-94 [doi]

1999

Sharing and groundness dependencies in logic programsMichael Codish, Harald Søndergaard, Peter J. Stuckey. TOPLAS, 21(5):948-976, 1999. [doi]

1998

1997

Abstract Interpretation of Active Rules and its Use in Termination AnalysisJames Bailey, Lobel Crnogorac, Kotagiri Ramamohanarao, Harald Søndergaard. icdt 1997: 188-202 [doi]

Termination Analysis for MercuryChris Speirs, Zoltan Somogyi, Harald Søndergaard. SAS 1997: 160-171

Proceedings of the ACM SIGCSE 2nd Australasian Conference on Computer Science Education, ACSE 1997, Melbourne, Victoria, Australia, 1997Harald Søndergaard, A. John Hurst, editors, Volume 2 of ACM International Conference Proceeding Series, ACM, 1997.

1996

1995

An Optimizing Compiler for CLP(R)Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Harald Søndergaard, Peter J. Stuckey, Roland H. C. Yap. cp 1995: 222-239

1994

Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient RepresentationTania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard. SAS 1994: 266-280

Denotational Abstract Interpretation of Logic ProgramsKim Marriott, Harald Søndergaard, Neil D. Jones. TOPLAS, 16(3):607-648, 1994. [doi]

1993

Difference-List Transformation for PrologKim Marriott, Harald Søndergaard. ngc, 11(2):125-157, 1993.

Precise and Efficient Groundness Analysis for Logic ProgramsKim Marriott, Harald Søndergaard. loplas, 2(1-4):181-196, 1993. [doi]

1992

Bottom-Up Dataflow Analysis of Normal Logic ProgramsKim Marriott, Harald Søndergaard. jlp, 13(2&3):181-204, 1992.

Non-Determinism in Functional LanguagesHarald Søndergaard, Peter Sestoft. cj, 35(5):514-523, 1992.

1990

A Characterization of Non-Floundering Logic ProgramsKim Marriott, Harald Søndergaard, Philip W. Dart. slp 1990: 661-680

Analysis of Constraint Logic ProgramsKim Marriott, Harald Søndergaard. slp 1990: 531-547

1989

Mix: A Self-Applicable Partial Evaluator for Experiments in Compiler GenerationNeil D. Jones, Peter Sestoft, Harald Søndergaard. lisp, 2(1):9-50, 1989.

On prolog and the occur check problemKim Marriott, Harald Søndergaard. SIGPLAN, 24(5):76-82, 1989. [doi]

Semantics-Based Dataflow Analysis of Logic ProgramsKim Marriott, Harald Søndergaard. ifip 1989: 601-606

Referential Transparency, Definiteness and UnfoldabilityHarald Søndergaard, Peter Sestoft. ACTA, 27(6):505-517, 1989.

1988

Bottom-up Abstract Interpretation of Logic ProgramsKim Marriott, Harald Søndergaard. ICLP 1988: 733-748

A bibliography on partial evaluationPeter Sestoft, Harald Søndergaard. SIGPLAN, 23(2):19-26, 1988. [doi]

1987

MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract)Neil D. Jones, Peter Sestoft, Harald Søndergaard. mfps 1988: 386-413

1986

An Application of Abstract Interpretation of Logic Programs: Occur Check ReductionHarald Søndergaard. ESOP 1986: 327-338

1985

An Experiment in Partial Evaluation: The Generation of a Compiler GeneratorNeil D. Jones, Peter Sestoft, Harald Søndergaard. RTA 1985: 124-140 [doi]