Harald Søndergaard 个人学术档案

引用次数

	总计	2019 年至今
引用	3815	634
h 指数	30	15
i10 指数	59	21

160

120

198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202446 51 70 109 153 137 155 118 125 121 129 137 95 141 119 71 73 119 62 88 84 84 92 81 81 88 93 89 90 93 96 131 110 138 102 92 61

开放获取的出版物数量

查看全部

26 篇文章

3 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Peter SchachteSchool of Computing and Information Systems, University of Melbourne在 unimelb.edu.au 的电子邮件经过验证
Peter StuckeyFaculty of Information Technology, Monash University在 monash.edu 的电子邮件经过验证
Kim MarriottProfessor, Monash University在 monash.edu 的电子邮件经过验证
Graeme GangeMonash University在 monash.edu 的电子邮件经过验证
Peter SestoftProfessor, IT University of Copenhagen在 itu.dk 的电子邮件经过验证
Jorge A NavasCertora在 certora.com 的电子邮件经过验证
Neil Jones在 diku.dk 的电子邮件经过验证
Roberto AmadiniUniversity of Bologna在 unibo.it 的电子邮件经过验证
Michael CodishDepartment of Computer Science, Ben-Gurion University of the Negev在 cs.bgu.ac.il 的电子邮件经过验证
Tim MillerSchool of Electrical Engineering and Computer Science, The University of Queensland在 uq.edu.au 的电子邮件经过验证
Bishoksan KafleResearch Fellow, The University of Melbourne, Australia在 unimelb.edu.au 的电子邮件经过验证
Alistair MoffatSchool of Computing and Information Systems, The University of Melbourne在 unimelb.edu.au 的电子邮件经过验证
Eman AlatawiAssistant Professor in Software Engineering at Taibah University在 taibahu.edu.sa 的电子邮件经过验证
Andy KingKent Portcullis在 kent.ac.uk 的电子邮件经过验证
François GauthierSenior Principal Researcher, Oracle Labs在 oracle.com 的电子邮件经过验证
Alexander JordanOracle Labs在 oracle.com 的电子邮件经过验证
Chenyi ZhangOracle Labs Australia在 oracle.com 的电子邮件经过验证
Raoul A MulderProfessor of Evolutionary Ecology, Professor of Higher Education, University of Melbourne在 unimelb.edu.au 的电子邮件经过验证
Justin ZobelComputing and Information Systems, University of Melbourne在 unimelb.edu.au 的电子邮件经过验证
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied Sciences在 h-ka.de 的电子邮件经过验证

关注

Harald Søndergaard

Computing and Information Systems, The University of Melbourne

在 unimelb.edu.au 的电子邮件经过验证 - 首页

Program analysis Software verification Logic Declarative programming Artificial intelligence


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	361	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	183	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	159	1993
Referential transparency, definiteness and unfoldability H Søndergaard, P Sestoft Acta Informatica 27, 505-517, 1990	135	1990
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
Non-determinism in functional languages H Søndergaard, P Sestoft The Computer Journal 35 (5), 514-523, 1992	130	1992
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	127	1998
Collaborative learning through formative peer review: Pedagogy, programs and potential H Søndergaard, RA Mulder Computer Science Education 22 (4), 343-367, 2012	115	2012
Bottom-up abstract interpretation of logic programs K Marriott, H Søndergaard ICLP/SLP, 733-748, 1988	100	1988
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
State joining and splitting for the symbolic execution of binaries T Hansen, P Schachte, H Søndergaard RV 9, 76-92, 2009	94	2009
Semantics-based dataflow analysis of logic programs K Marriott, H Søndergaard IFIP Congress, 601-606, 1989	84	1989
What drives curriculum change? P Gruba, A Moffat, H Søndergaard, J Zobel Proceedings of the Sixth Conference on Australasian Computing Education …, 2004	82	2004
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	58	1992

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用