Harald Søndergaard
Harald Søndergaard
Computing and Information Systems, The University of Melbourne
Verified email at unimelb.edu.au - Homepage
Title
Cited by
Cited by
Year
Mix: A self-applicable partial evaluator for experiments in compiler generation
ND Jones, P Sestoft, H Søndergaard
Lisp and Symbolic Computation 2 (1), 9-50, 1989
3871989
An experiment in partial evaluation: The generation of a compiler generator
N Jones, P Sestoft, H Søndergaard
Rewriting techniques and applications, 124-140, 1985
3401985
A semantics-based framework for the abstract interpretation of Prolog
ND Jones, H Søndergaard
S. Abramsky and C. Hankin (eds), Abstract Interpretation of Declarative …, 1987
1671987
An application of abstract interpretation of logic programs: Occur check reduction
H Søndergaard
ESOP 86, 327-338, 1986
1641986
Precise and efficient groundness analysis for logic programs
K Marriott, H Søndergaard
ACM Letters on Programming Languages and Systems 2 (1-4), 181-196, 1993
1491993
Two classes of Boolean functions for dependency analysis
T Armstrong, K Marriott, P Schachte, H Søndergaard
Science of Computer Programming 31 (1), 3-45, 1998
1221998
Non-determinism in functional languages
H Søndergaard, P Sestoft
The Computer Journal 35 (5), 514-523, 1992
1181992
Referential transparency, definiteness and unfoldability
H Søndergaard, P Sestoft
Acta Informatica 27 (6), 505-517, 1990
1181990
Denotational abstract interpretation of logic programs
K Marriott, H Søndergaard, ND Jones
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (3), 607-648, 1994
1131994
Boolean functions for dependency analysis: Algebraic properties and efficient representation
T Armstrong, K Marriott, P Schachte, H Søndergaard
International Static Analysis Symposium, 266-280, 1994
901994
Bottom-up abstract interpretation of logic programs
K Marriott, H Søndergaard
ICLP/SLP, 733-748, 1988
891988
Analysis of constraint logic programs
K Marriott, H Søndergaard
Proceedings of the 1990 North American Conference on Logic Programing, 531-547, 1990
761990
Semantics-based dataflow analysis of logic programs
K Marriott, H Søndergaard
IFIP Congress, 601-606, 1989
761989
What drives curriculum change?
P Gruba, A Moffat, H Søndergaard, J Zobel
Proceedings of the Sixth Conference on Australasian Computing Education …, 2004
732004
Collaborative learning through formative peer review: Pedagogy, programs and potential
H Søndergaard, RA Mulder
Computer Science Education 22 (4), 343-367, 2012
672012
Termination analysis for Mercury
C Speirs, Z Somogyi, H Søndergaard
International Static Analysis Symposium, 157-171, 1997
621997
A strategy for managing content complexity in algorithm animation
L Stern, H Søndergaard, L Naish
ACM SIGCSE Bulletin 31 (3), 127-130, 1999
571999
State joining and splitting for the symbolic execution of binaries
T Hansen, P Schachte, H Søndergaard
RV 9, 76-92, 2009
542009
Sharing and groundness dependencies in logic programs
M Codish, H Søndergaard, PJ Stuckey
ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (5), 948-976, 1999
521999
Notes for a tutorial on abstract interpretation of logic programs
K Marriott, H Søndergaard
North American Conference on Logic Programming, 1989
521989
The system can't perform the operation now. Try again later.
Articles 1–20