Volgen
Harald Søndergaard
Harald Søndergaard
Computing and Information Systems, The University of Melbourne
Geverifieerd e-mailadres voor unimelb.edu.au - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
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
3421989
An application of abstract interpretation of logic programs: Occur check reduction
H Søndergaard
ESOP 86, 327-338, 1986
1831986
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
1771987
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
1591993
Referential transparency, definiteness and unfoldability
H Søndergaard, P Sestoft
Acta Informatica 27, 505-517, 1990
1351990
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
1311994
Non-determinism in functional languages
H Søndergaard, P Sestoft
The Computer Journal 35 (5), 514-523, 1992
1301992
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
1271998
Collaborative learning through formative peer review: Pedagogy, programs and potential
H Søndergaard, RA Mulder
Computer Science Education 22 (4), 343-367, 2012
1172012
Bottom-up abstract interpretation of logic programs
K Marriott, H Søndergaard
ICLP/SLP, 733-748, 1988
1001988
State joining and splitting for the symbolic execution of binaries
T Hansen, P Schachte, H Søndergaard
RV 9, 76-92, 2009
972009
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
971994
Semantics-based dataflow analysis of logic programs
K Marriott, H Søndergaard
IFIP Congress, 601-606, 1989
851989
What drives curriculum change?
P Gruba, A Moffat, H Søndergaard, J Zobel
Proceedings of the Sixth Conference on Australasian Computing Education …, 2004
842004
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
691997
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
621999
A strategy for managing content complexity in algorithm animation
L Stern, H Søndergaard, L Naish
ACM SIGCSE Bulletin 31 (3), 127-130, 1999
611999
Bottom-up dataflow analysis of normal logic programs
K Marriott, H Søndergaard
The Journal of Logic Programming 13 (2-3), 181-204, 1992
591992
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20