Harald Søndergaard - Concepedia

Author

Harald Søndergaard

Also Known As

H. Sondergaard, HARALD SØNDERGAARD, Harald Sondergaard, Harald SØndergaard, Harald Søndergaard, Harald Søndergaard, Sondergaard, Harald, Søndergaard Harald, Søndergaard, Harald

141

Publications

2.4K

Citations

H-Index

Concepts

All Affiliations

The University of Melbourne Monash University University of Copenhagen

About

Harald Søndergaard is an author at The University of Melbourne specializing in engineering, formal methods, and automated reasoning.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	14	18	977
2	Computer Engineering	5	5	355
3	Education	3	3	135
4	Language Studies	2	2	174
5	Communication	2	2	43

Harald Søndergaard

Publications

1.3K

Citations

H-Index

Page 1

	Year	Citations
Mix: A self-applicable partial evaluator for experiments in compiler generation Neil D. Jones, Peter Sestoft, Harald Søndergaard LISP and Symbolic Computation EngineeringProgram AnalysisCompiler TechnologySoftware TestingCompiler Support	1989	254
A semantics-based framework for the abstract interpretation of Prolog ND Jones, Harald Søndergaard Formal SemanticsEngineeringAutomated ReasoningAbstract InterpretationFormal Methods	1987	101
Precise and efficient groundness analysis for logic programs Kim Marriott, Harald Søndergaard ACM Letters on Programming Languages and Systems Applied LogicEngineeringVerificationWell-founded SemanticsSoftware Analysis	1993	99
Two classes of Boolean functions for dependency analysis Tania Armstrong, Kim Marriott, Peter Schachte, Science of Computer Programming Circuit ComplexityDependency AnalysisEngineeringBoolean FunctionBoolean Functions	1998	95
Collaborative learning through formative peer review: pedagogy, programs and potential Harald Søndergaard, Raoul A. Mulder Computer Science Education Student AssessmentStudent Peer ReviewPedagogyLearning SciencesCollaborative Learning	2012	92
Bottom-up Abstract Interpretation of Logic Programs. Kim Marriott, Harald Søndergaard International Conference on Lightning Protection EngineeringAutomated ReasoningFormal MethodsWell-founded SemanticsBottom-up Abstract Interpretation	1988	74
Denotational abstract interpretation of logic programs Kim Marriott, Harald Søndergaard, Neil D. Jones ACM Transactions on Programming Languages and Systems EngineeringLogic ProgramsWell-founded SemanticsSemanticsSoftware Analysis	1994	73
Semantics-Based Dataflow Analysis of Logic Programs. Kim Marriott, Harald Søndergaard	1989	57
Notes for a Tutorial on Abstract Interpretation of Logic Programs Kim Marriott, Harald Søndergaard	1989	49
What drives curriculum change Paul Gruba, Alistair Moffat, Harald Søndergaard, RMIT Research Repository (RMIT University Library)	2004	48

Page 1