Harald Søndergaard

Citada per

	Totes	Des de 2020
Citacions	3908	564
Índex h	30	14
Índex i10	62	22

180

135

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202546 51 71 109 159 139 165 120 128 121 129 138 95 141 119 72 73 119 62 89 84 84 94 79 83 89 93 89 90 92 97 132 110 139 104 96 94 21

Accés públic

Mostra-ho tot

27 articles

3 articles

disponibles

no disponibles

Es basa en els requisits de les agències que proporcionen el finançament

Coautors

Peter SchachteSchool of Computing and Information Systems, University of MelbourneCorreu electrònic verificat a unimelb.edu.au
Peter StuckeyFaculty of Information Technology, Monash UniversityCorreu electrònic verificat a monash.edu
Kim MarriottProfessor, Monash UniversityCorreu electrònic verificat a monash.edu
Graeme GangeMonash UniversityCorreu electrònic verificat a monash.edu
Peter SestoftProfessor, IT University of CopenhagenCorreu electrònic verificat a itu.dk
Jorge A NavasCertoraCorreu electrònic verificat a certora.com
Neil JonesCorreu electrònic verificat a diku.dk
Roberto AmadiniUniversity of BolognaCorreu electrònic verificat a unibo.it
Tim MillerSchool of Electrical Engineering and Computer Science, The University of QueenslandCorreu electrònic verificat a uq.edu.au
Michael CodishDepartment of Computer Science, Ben-Gurion University of the NegevCorreu electrònic verificat a cs.bgu.ac.il
Bishoksan KafleResearch Fellow, The University of Melbourne, AustraliaCorreu electrònic verificat a unimelb.edu.au
Alistair MoffatSchool of Computing and Information Systems, The University of MelbourneCorreu electrònic verificat a unimelb.edu.au
Eman AlatawiAssistant Professor in Software Engineering at Taibah UniversityCorreu electrònic verificat a taibahu.edu.sa
Andy KingKent PortcullisCorreu electrònic verificat a kent.ac.uk
Raoul A MulderProfessor of Evolutionary Ecology, Professor of Higher Education, University of MelbourneCorreu electrònic verificat a unimelb.edu.au
François GauthierSenior Principal Researcher, Oracle LabsCorreu electrònic verificat a oracle.com
Alexander JordanOracle LabsCorreu electrònic verificat a oracle.com
Chenyi ZhangOracle Labs AustraliaCorreu electrònic verificat a oracle.com
Justin ZobelComputing and Information Systems, University of MelbourneCorreu electrònic verificat a unimelb.edu.au
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesCorreu electrònic verificat a h-ka.de

Segueix

Harald Søndergaard

Computing and Information Systems, The University of Melbourne

Correu electrònic verificat a unimelb.edu.au - Pàgina d'inici

Program analysis Software verification Logic Declarative programming Artificial intelligence


Títol Ordena per cites Ordena per any Ordena per títol	Citada per Citada per	Any
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	363	1985
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	342	1989
An application of abstract interpretation of logic programs: Occur check reduction H Søndergaard ESOP 86, 327-338, 1986	185	1986
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	177	1987
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	160	1993
Referential transparency, definiteness and unfoldability H Søndergaard, P Sestoft Acta Informatica 27, 505-517, 1990	135	1990
Non-determinism in functional languages H Søndergaard, P Sestoft The Computer Journal 35 (5), 514-523, 1992	133	1992
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	131	1994
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	128	1998
Collaborative learning through formative peer review: Pedagogy, programs and potential H Søndergaard, RA Mulder Computer Science Education 22 (4), 343-367, 2012	124	2012
Bottom-up abstract interpretation of logic programs K Marriott, H Søndergaard ICLP/SLP, 733-748, 1988	100	1988
State joining and splitting for the symbolic execution of binaries T Hansen, P Schachte, H Søndergaard RV 9, 76-92, 2009	98	2009
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	97	1994
What drives curriculum change? P Gruba, A Moffat, H Søndergaard, J Zobel Proceedings of the Sixth Conference on Australasian Computing Education …, 2004	87	2004
Semantics-based dataflow analysis of logic programs K Marriott, H Søndergaard IFIP Congress, 601-606, 1989	86	1989
Analysis of constraint logic programs K Marriott, H Søndergaard Proceedings of the 1990 North American Conference on Logic Programing, 531-547, 1990	78	1990
Termination analysis for Mercury C Speirs, Z Somogyi, H Søndergaard Static Analysis: 4th International Symposium, SAS'97 Paris, France …, 1997	69	1997
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	62	1999
A strategy for managing content complexity in algorithm animation L Stern, H Søndergaard, L Naish ACM SIGCSE Bulletin 31 (3), 127-130, 1999	61	1999
Bottom-up dataflow analysis of normal logic programs K Marriott, H Søndergaard The Journal of Logic Programming 13 (2-3), 181-204, 1992	60	1992

En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.

Articles 1–20

Cites per any

Cites duplicades

Cites combinades

Addició de coautorsCoautors

Segueix

Citada per

Coautors