Edit Profile (opens in new tab) Søndergaard, Harald Compute Distance To: Compute Author ID: sondergaard.harald Published as: Søndergaard, Harald Documents Indexed: 35 Publications since 1986 Co-Authors: 27 Co-Authors with 34 Joint Publications 388 Co-Co-Authors all top 5 Co-Authors 1 single-authored 19 Stuckey, Peter James 18 Schachte, Peter 13 Gange, Graeme 7 Navas, Jorge A. 4 Marriott, Kim 3 Amadini, Roberto 3 Codish, Michael 3 Glynn, Kevin 2 Henshall, Kevin 2 Kafle, Bishoksan 2 King, Andy 2 Sestoft, Peter 2 Sulzmann, Martin 2 Wang, Wenxi 2 Whiting, Leigh 1 Andrlon, Mak 1 Armstrong, Tania 1 Cornish, J. Robert M. 1 Gallagher, John P. 1 Garcia de la Banda, Maria 1 Gauthier, Francois 1 Genaim, Samir 1 Herlihy, Brian 1 Jones, Neil D. 1 Jordan, Alexander I. 1 Naish, Lee 1 Zhang, Chenyi all top 5 Serials 4 Theory and Practice of Logic Programming 2 The Journal of Logic Programming 1 Acta Informatica 1 Artificial Intelligence 1 Theoretical Computer Science 1 Science of Computer Programming 1 New Generation Computing 1 Journal of Automated Reasoning 1 International Journal of Foundations of Computer Science 1 Chicago Journal of Theoretical Computer Science 1 Fundamenta Informaticae Fields 35 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 24 Publications have been cited 76 times in 63 Documents Cited by ▼ Year ▼ Two classes of Boolean functions for dependency analysis. Zbl 0942.68018Armstrong, Tania; Marriott, Kim; Schachte, Peter; Søndergaard, Harald 11 1998 An application of abstract interpretation of logic programs: Occur check reduction. Zbl 0605.68090Søndergaard, Harald 7 1986 Bottom-up dataflow analysis of normal logic programs. Zbl 0776.68025Marriott, Kim; Søndergaard, Harald 6 1992 Horn clauses as an intermediate representation for program analysis and transformation. Zbl 1379.68089Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 6 2015 Referential transparency, definiteness and unfoldability. Zbl 0679.68150Søndergaard, Harald; Sestoft, Peter 5 1990 An iterative approach to precondition inference using constrained Horn clauses. Zbl 1451.68075Kafle, Bishoksan; Gallagher, John P.; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 4 2018 Automatic abstraction for congruences. Zbl 1273.68085King, Andy; Søndergaard, Harald 4 2010 Mix: A self-applicable partial evaluator for experiments in compiler generation. Zbl 0644.68037Jones, Neil D.; Sestoft, Peter; Søndergaard, Harald 3 1988 Reference abstract domains and applications to string analysis. Zbl 1386.68031Amadini, Roberto; Gange, Graeme; Gauthier, François; Jordan, Alexander; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.; Zhang, Chenyi 3 2018 Differential methods in logic program analysis. Zbl 0905.68029García de la Banda, María; Marriott, Kim; Stuckey, Peter; Søndergaard, Harald 3 1998 Failure tabled constraint logic programming by interpolation. Zbl 1286.68043Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 3 2013 Unbounded model-checking with interpolation for regular language constraints. Zbl 1381.68162Gange, Graeme; Navas, Jorge A.; Stuckey, Peter J.; Søndergaard, Harald; Schachte, Peter 3 2013 Exploiting sparsity in difference-bound matrices. Zbl 1394.68074Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 3 2016 A bit-vector solver with word-level propagation. Zbl 1475.68360Wang, Wenxi; Søndergaard, Harald; Stuckey, Peter J. 2 2016 An abstract domain of uninterpreted functions. Zbl 1475.68086Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 2 2016 Constraint programming for dynamic symbolic execution of JavaScript. Zbl 07116682Amadini, Roberto; Andrlon, Mak; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 2 2019 Inferring congruence equations using SAT. Zbl 1155.68441King, Andy; Søndergaard, Harald 2 2008 Solving difference constraints over modular arithmetic. Zbl 1381.68267Gange, Graeme; Søndergaard, Harald; Stuckey, Peter J.; Schachte, Peter 1 2013 A Benders decomposition approach to deciding modular linear integer arithmetic. Zbl 1496.68193Kafle, Bishoksan; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 1 2017 An algorithm for affine approximation of binary decision diagrams. Zbl 1286.06024Henshall, Kevin; Schachte, Peter; Søndergaard, Harald; Whiting, Leigh 1 2010 Boolean constraints for binding-time analysis. Zbl 0984.68024Glynn, Kevin; Stuckey, Peter J.; Sulzmann, Martin; Søndergaard, Harald 1 2001 Meta-circular abstract interpretation in Prolog. Zbl 1026.68505Codish, Michael; Søndergaard, Harald 1 2002 Truth versus information in logic programming. Zbl 1302.68053Naish, Lee; Søndergaard, Harald 1 2014 Information loss in knowledge compilation: a comparison of Boolean envelopes. Zbl 1206.68291Schachte, Peter; Søndergaard, Harald; Whiting, Leigh; Henshall, Kevin 1 2010 Constraint programming for dynamic symbolic execution of JavaScript. Zbl 07116682Amadini, Roberto; Andrlon, Mak; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 2 2019 An iterative approach to precondition inference using constrained Horn clauses. Zbl 1451.68075Kafle, Bishoksan; Gallagher, John P.; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 4 2018 Reference abstract domains and applications to string analysis. Zbl 1386.68031Amadini, Roberto; Gange, Graeme; Gauthier, François; Jordan, Alexander; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.; Zhang, Chenyi 3 2018 A Benders decomposition approach to deciding modular linear integer arithmetic. Zbl 1496.68193Kafle, Bishoksan; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 1 2017 Exploiting sparsity in difference-bound matrices. Zbl 1394.68074Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 3 2016 A bit-vector solver with word-level propagation. Zbl 1475.68360Wang, Wenxi; Søndergaard, Harald; Stuckey, Peter J. 2 2016 An abstract domain of uninterpreted functions. Zbl 1475.68086Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 2 2016 Horn clauses as an intermediate representation for program analysis and transformation. Zbl 1379.68089Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 6 2015 Truth versus information in logic programming. Zbl 1302.68053Naish, Lee; Søndergaard, Harald 1 2014 Failure tabled constraint logic programming by interpolation. Zbl 1286.68043Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 3 2013 Unbounded model-checking with interpolation for regular language constraints. Zbl 1381.68162Gange, Graeme; Navas, Jorge A.; Stuckey, Peter J.; Søndergaard, Harald; Schachte, Peter 3 2013 Solving difference constraints over modular arithmetic. Zbl 1381.68267Gange, Graeme; Søndergaard, Harald; Stuckey, Peter J.; Schachte, Peter 1 2013 Automatic abstraction for congruences. Zbl 1273.68085King, Andy; Søndergaard, Harald 4 2010 An algorithm for affine approximation of binary decision diagrams. Zbl 1286.06024Henshall, Kevin; Schachte, Peter; Søndergaard, Harald; Whiting, Leigh 1 2010 Information loss in knowledge compilation: a comparison of Boolean envelopes. Zbl 1206.68291Schachte, Peter; Søndergaard, Harald; Whiting, Leigh; Henshall, Kevin 1 2010 Inferring congruence equations using SAT. Zbl 1155.68441King, Andy; Søndergaard, Harald 2 2008 Meta-circular abstract interpretation in Prolog. Zbl 1026.68505Codish, Michael; Søndergaard, Harald 1 2002 Boolean constraints for binding-time analysis. Zbl 0984.68024Glynn, Kevin; Stuckey, Peter J.; Sulzmann, Martin; Søndergaard, Harald 1 2001 Two classes of Boolean functions for dependency analysis. Zbl 0942.68018Armstrong, Tania; Marriott, Kim; Schachte, Peter; Søndergaard, Harald 11 1998 Differential methods in logic program analysis. Zbl 0905.68029García de la Banda, María; Marriott, Kim; Stuckey, Peter; Søndergaard, Harald 3 1998 Bottom-up dataflow analysis of normal logic programs. Zbl 0776.68025Marriott, Kim; Søndergaard, Harald 6 1992 Referential transparency, definiteness and unfoldability. Zbl 0679.68150Søndergaard, Harald; Sestoft, Peter 5 1990 Mix: A self-applicable partial evaluator for experiments in compiler generation. Zbl 0644.68037Jones, Neil D.; Sestoft, Peter; Søndergaard, Harald 3 1988 An application of abstract interpretation of logic programs: Occur check reduction. Zbl 0605.68090Søndergaard, Harald 7 1986 all cited Publications top 5 cited Publications all top 5 Cited by 115 Authors 7 King, Andy 7 Søndergaard, Harald 5 Schachte, Peter 4 Gallagher, John P. 4 Stuckey, Peter James 3 Brauer, Jörg 3 Gange, Graeme 3 Hill, Patricia M. 3 Spoto, Fausto 2 Amadini, Roberto 2 Arceri, Vincenzo 2 Arias, Joaquin 2 Bagnara, Roberto 2 Carro, Manuel 2 Chawdhary, Aziem 2 Cortesi, Agostino 2 Hermenegildo, Manuel V. 2 Howe, Jacob M. 2 Kafle, Bishoksan 2 Kowalewski, Stefan 2 Marriott, Kim 2 Navas, Jorge A. 2 Olliaro, Martina 2 Payet, Étienne 2 Ranzato, Francesco 2 Vanhoof, Wim 2 Vidal, Germán 2 Yernaux, Gonzague 2 Zaffanella, Enea 1 Achten, Peter 1 Ackley, Elena S. 1 Albert, Elvira 1 Amato, Gianluca 1 Barbar, Mohamad 1 Bardin, Sébastien 1 Bobot, François 1 Bofill, Miquel 1 Borralleras, Cristina 1 Bossi, Annalisa 1 Boulanger, Dmitri 1 Bruynooghe, Maurice 1 Burton, F. Warren 1 Cassez, Franck 1 Chakraborty, Supratik 1 Chihani, Zakaria 1 Christiansen, Henning 1 De Angelis, Emanuele 1 Demoen, Bart 1 Denecker, Marc 1 Dietsch, Daniel 1 Doménech, Jesús J. 1 Drabent, Włodzimierz 1 Falaschi, Moreno 1 Ferrara, Pietro 1 Filé, Gilberto 1 Fioravanti, Fabio 1 Flener, Pierre 1 Forrest, Stephanie 1 Genaim, Samir 1 Giacobazzi, Roberto 1 Gori, Roberta 1 Guldstrand, Larsen Kim 1 Hage, Jurriaan 1 Hansen, Bo Stig 1 Heizmann, Matthias 1 Henshall, Kevin 1 Herlihy, Brian 1 Hoenicke, Jochen 1 Hooker, John N. jun. 1 Jensen, Peter Gjøl 1 John, Ajith K. 1 Jones, Neil D. 1 Klemen, Maximiliano 1 Koopman, Pieter 1 Larsen, Peter Gorm 1 Levi, Giorgio 1 Lisper, Björn 1 López-García, Pedro 1 Marchiori, Elena 1 Marques-Silva, João P. 1 Marre, Bruno 1 Martin-Martin, Enrique 1 Mastroeni, Isabella 1 Mencía, Carlos 1 Mesnard, Fred 1 Michaylov, Spiro 1 Morales, Jose Francisco 1 Morazán, Marco T. 1 Mulkers, Anne 1 Naish, Lee 1 Nutz, Alexander 1 Okudono, Takamasa 1 Olarte, Carlos 1 Page, Rex L. 1 Palacios, Adrian G. 1 Palamidessi, Catuscia 1 Pearson, Justin 1 Pettorossi, Alberto 1 Podelski, Andreas 1 Previti, Alessandro ...and 15 more Authors all top 5 Cited in 18 Serials 11 Theoretical Computer Science 10 Theory and Practice of Logic Programming 3 Information and Computation 3 Higher-Order and Symbolic Computation 2 Artificial Intelligence 2 Science of Computer Programming 2 Formal Methods in System Design 1 Acta Informatica 1 Information Processing Letters 1 New Generation Computing 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 International Journal of Foundations of Computer Science 1 Diagrammes 1 Journal of Functional Programming 1 Fundamenta Informaticae 1 Computer Languages, Systems & Structures 1 ACM Transactions on Computational Logic all top 5 Cited in 8 Fields 61 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Numerical analysis (65-XX) 2 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 Number theory (11-XX) 1 Category theory; homological algebra (18-XX) Citations by Year