Follow
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
4341989
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
3611985
An application of abstract interpretation of logic programs: Occur check reduction
H Søndergaard
ESOP 86, 327-338, 1986
1801986
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
1731987
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
1571993
Referential transparency, definiteness and unfoldability
H Søndergaard, P Sestoft
Acta Informatica 27, 505-517, 1990
1311990
Non-determinism in functional languages
H Søndergaard, P Sestoft
The Computer Journal 35 (5), 514-523, 1992
1301992
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
1271994
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
1241998
Collaborative learning through formative peer review: Pedagogy, programs and potential
H Søndergaard, RA Mulder
Computer Science Education 22 (4), 343-367, 2012
1112012
Bottom-up abstract interpretation of logic programs
K Marriott, H Søndergaard
ICLP/SLP, 733-748, 1988
991988
Boolean functions for dependency analysis: Algebraic properties and efficient representation
T Armstrong, K Marriott, P Schachte, H Søndergaard
Static Analysis: First International Static Analysis Symposium, SAS'94 Namur …, 1994
981994
State joining and splitting for the symbolic execution of binaries
T Hansen, P Schachte, H Søndergaard
RV 9, 76-92, 2009
942009
Semantics-based dataflow analysis of logic programs
K Marriott, H Søndergaard
IFIP Congress, 601-606, 1989
841989
What drives curriculum change?
P Gruba, A Moffat, H Søndergaard, J Zobel
Proceedings of the Sixth Conference on Australasian Computing Education …, 2004
822004
Analysis of constraint logic programs
K Marriott, H Søndergaard
Proceedings of the 1990 North American Conference on Logic Programing, 531-547, 1990
781990
Termination analysis for Mercury
C Speirs, Z Somogyi, H Søndergaard
Static Analysis: 4th International Symposium, SAS'97 Paris, France …, 1997
671997
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
611999
A strategy for managing content complexity in algorithm animation
L Stern, H Søndergaard, L Naish
ACM SIGCSE Bulletin 31 (3), 127-130, 1999
601999
Bottom-up dataflow analysis of normal logic programs
K Marriott, H Søndergaard
The Journal of Logic Programming 13 (2-3), 181-204, 1992
561992
The system can't perform the operation now. Try again later.
Articles 1–20