Concepedia

Harald Søndergaard

HS

26

Publications

1.3K

Citations

19

H-Index

1985

Active since

Affiliations

The University of Melbourne(Current)

Monash University

University of Copenhagen

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

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningProgram AnalysisFormal VerificationSoftware AnalysisLogic ProgrammingVerificationComputer Engineering

Publications per year

1985–2024

26

Publications

26

Mix: A self-applicable partial evaluator for experiments in compiler generation

Neil D. Jones, Peter Sestoft, Harald Søndergaard · LISP and Symbolic Computation · 1989 · 254 citations

Engineering, Program Analysis, Compiler Technology +13

A semantics-based framework for the abstract interpretation of Prolog

ND Jones, Harald Søndergaard · 1987 · 101 citations

Formal Semantics, Engineering, Automated Reasoning +7

Precise and efficient groundness analysis for logic programs

Kim Marriott, Harald Søndergaard · ACM Letters on Programming Languages and Systems · 1993 · 99 citations

Applied Logic, Engineering, Verification +19

Two classes of Boolean functions for dependency analysis

Tania Armstrong, Kim Marriott, Peter Schachte et al. · Science of Computer Programming · 1998 · 95 citations

Circuit Complexity, Dependency Analysis, Engineering +8

Collaborative learning through formative peer review: pedagogy, programs and potential

Harald Søndergaard, Raoul A. Mulder · Computer Science Education · 2012 · 92 citations

Student Assessment, Student Peer Review, Pedagogy +13

Rows per page

1–5 of 26