×

zbMATH — the first resource for mathematics

Søndergaard, Harald

Compute Distance To:
Author ID: sondergaard.harald Recent zbMATH articles by "Søndergaard, Harald"
Published as: Søndergaard, Harald
Documents Indexed: 34 Publications since 1986

Publications by Year

Citations contained in zbMATH

20 Publications have been cited 63 times in 52 Documents Cited by Year
Two classes of Boolean functions for dependency analysis. Zbl 0942.68018
Armstrong, Tania; Marriott, Kim; Schachte, Peter; Søndergaard, Harald
11
1998
An application of abstract interpretation of logic programs: Occur check reduction. Zbl 0605.68090
Søndergaard, Harald
10
1986
Bottom-up dataflow analysis of normal logic programs. Zbl 0776.68025
Marriott, Kim; Søndergaard, Harald
5
1992
Mix: A self-applicable partial evaluator for experiments in compiler generation. Zbl 0644.68037
Jones, Neil D.; Sestoft, Peter; Søndergaard, Harald
5
1988
Horn clauses as an intermediate representation for program analysis and transformation. Zbl 1379.68089
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
4
2015
Referential transparency, definiteness and unfoldability. Zbl 0679.68150
Søndergaard, Harald; Sestoft, Peter
4
1990
Automatic abstraction for congruences. Zbl 1273.68085
King, Andy; Søndergaard, Harald
3
2010
Differential methods in logic program analysis. Zbl 0905.68029
García de la Banda, María; Marriott, Kim; Stuckey, Peter; Søndergaard, Harald
3
1998
An iterative approach to precondition inference using constrained Horn clauses. Zbl 1451.68075
Kafle, Bishoksan; Gallagher, John P.; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
2
2018
Exploiting sparsity in difference-bound matrices. Zbl 1394.68074
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
2
2016
A bit-vector solver with word-level propagation. Zbl 06598678
Wang, Wenxi; Søndergaard, Harald; Stuckey, Peter J.
2
2016
Failure tabled constraint logic programming by interpolation. Zbl 1286.68043
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
2
2013
Unbounded model-checking with interpolation for regular language constraints. Zbl 1381.68162
Gange, Graeme; Navas, Jorge A.; Stuckey, Peter J.; Søndergaard, Harald; Schachte, Peter
2
2013
Inferring congruence equations using SAT. Zbl 1155.68441
King, Andy; Søndergaard, Harald
2
2008
A benders decomposition approach to deciding modular linear integer arithmetic. Zbl 06807238
Kafle, Bishoksan; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
1
2017
Truth versus information in logic programming. Zbl 1302.68053
Naish, Lee; Søndergaard, Harald
1
2014
Solving difference constraints over modular arithmetic. Zbl 1381.68267
Gange, Graeme; Søndergaard, Harald; Stuckey, Peter J.; Schachte, Peter
1
2013
An algorithm for affine approximation of binary decision diagrams. Zbl 1286.06024
Henshall, Kevin; Schachte, Peter; Søndergaard, Harald; Whiting, Leigh
1
2010
Information loss in knowledge compilation: a comparison of Boolean envelopes. Zbl 1206.68291
Schachte, Peter; Søndergaard, Harald; Whiting, Leigh; Henshall, Kevin
1
2010
Meta-circular abstract interpretation in Prolog. Zbl 1026.68505
Codish, Michael; Søndergaard, Harald
1
2002
An iterative approach to precondition inference using constrained Horn clauses. Zbl 1451.68075
Kafle, Bishoksan; Gallagher, John P.; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
2
2018
A benders decomposition approach to deciding modular linear integer arithmetic. Zbl 06807238
Kafle, Bishoksan; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
1
2017
Exploiting sparsity in difference-bound matrices. Zbl 1394.68074
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
2
2016
A bit-vector solver with word-level propagation. Zbl 06598678
Wang, Wenxi; Søndergaard, Harald; Stuckey, Peter J.
2
2016
Horn clauses as an intermediate representation for program analysis and transformation. Zbl 1379.68089
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
4
2015
Truth versus information in logic programming. Zbl 1302.68053
Naish, Lee; Søndergaard, Harald
1
2014
Failure tabled constraint logic programming by interpolation. Zbl 1286.68043
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
2
2013
Unbounded model-checking with interpolation for regular language constraints. Zbl 1381.68162
Gange, Graeme; Navas, Jorge A.; Stuckey, Peter J.; Søndergaard, Harald; Schachte, Peter
2
2013
Solving difference constraints over modular arithmetic. Zbl 1381.68267
Gange, Graeme; Søndergaard, Harald; Stuckey, Peter J.; Schachte, Peter
1
2013
Automatic abstraction for congruences. Zbl 1273.68085
King, Andy; Søndergaard, Harald
3
2010
An algorithm for affine approximation of binary decision diagrams. Zbl 1286.06024
Henshall, Kevin; Schachte, Peter; Søndergaard, Harald; Whiting, Leigh
1
2010
Information loss in knowledge compilation: a comparison of Boolean envelopes. Zbl 1206.68291
Schachte, Peter; Søndergaard, Harald; Whiting, Leigh; Henshall, Kevin
1
2010
Inferring congruence equations using SAT. Zbl 1155.68441
King, Andy; Søndergaard, Harald
2
2008
Meta-circular abstract interpretation in Prolog. Zbl 1026.68505
Codish, Michael; Søndergaard, Harald
1
2002
Two classes of Boolean functions for dependency analysis. Zbl 0942.68018
Armstrong, Tania; Marriott, Kim; Schachte, Peter; Søndergaard, Harald
11
1998
Differential methods in logic program analysis. Zbl 0905.68029
Garcí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.68025
Marriott, Kim; Søndergaard, Harald
5
1992
Referential transparency, definiteness and unfoldability. Zbl 0679.68150
Søndergaard, Harald; Sestoft, Peter
4
1990
Mix: A self-applicable partial evaluator for experiments in compiler generation. Zbl 0644.68037
Jones, Neil D.; Sestoft, Peter; Søndergaard, Harald
5
1988
An application of abstract interpretation of logic programs: Occur check reduction. Zbl 0605.68090
Søndergaard, Harald
10
1986
all top 5

Cited by 91 Authors

6 Søndergaard, Harald
5 King, Andy
4 Schachte, Peter
3 Brauer, Jörg
3 Gallagher, John P.
3 Hill, Patricia M.
3 Spoto, Fausto
3 Vidal, Germán
2 Albert, Elvira
2 Bagnara, Roberto
2 Hermenegildo, Manuel V.
2 Howe, Jacob M.
2 Kowalewski, Stefan
2 Marriott, Kim
2 Navas, Jorge A.
2 Payet, Étienne
2 Ranzato, Francesco
2 Stuckey, Peter James
2 Zaffanella, Enea
1 Achten, Peter
1 Ackley, Elena S.
1 Amato, Gianluca
1 Arias, Joaquin
1 Bardin, Sébastien
1 Bobot, François
1 Bofill, Miquel
1 Borralleras, Cristina
1 Bossi, Annalisa
1 Burton, F. Warren
1 Carro, Manuel
1 Chakraborty, Supratik
1 Chawdhary, Aziem
1 Chihani, Zakaria
1 Christiansen, Henning
1 Codish, Michael
1 Dams, Dennis René
1 Denvy, Olivier
1 Doménech, Jesús J.
1 Drabent, Włodzimierz
1 Falaschi, Moreno
1 Filé, Gilberto
1 Flener, Pierre
1 Forrest, Stephanie
1 Futamura, Yoshihiko
1 Gange, Graeme
1 Genaim, Samir
1 Giacobazzi, Roberto
1 Gori, Roberta
1 Gras, Daniel Cabeza
1 Hansen, Bo Stig
1 Henshall, Kevin
1 Herlihy, Brian
1 Hooker, John N. jun.
1 John, Ajith K.
1 Jones, Neil D.
1 Kafle, Bishoksan
1 Koopman, Pieter
1 Larsen, Peter Gorm
1 Levi, Giorgio
1 Lisper, Björn
1 Marchiori, Elena
1 Marques-Silva, João P.
1 Marre, Bruno
1 Martin-Martin, Enrique
1 Mencía, Carlos
1 Mesnard, Fred
1 Morazán, Marco T.
1 Naish, Lee
1 Nogi, Kenroku
1 Olarte, Carlos
1 Page, Rex L.
1 Palamidessi, Catuscia
1 Pearson, Justin
1 Previti, Alessandro
1 Reeves, A. C.
1 Robbins, Edward L.
1 Rubio, Albert
1 Schlich, Bastian
1 Schulte, Christian
1 Scott, Joseph D.
1 Scozzari, Francesca
1 Simon, Axel
1 Takano, Akihiko
1 Trias, Eric
1 van Eekelen, Marko
1 Vanhoof, Wim
1 Wang, Wenxi
1 Whiting, Leigh
1 Yamasaki, Susumu
1 Yardeni, Eyal
1 Yernaux, Gonzague

Citations by Year