E-LIB Suche - Ergebnisse für: Søndergaard, Harald

1

A lightweight approach to nontermination inference using Co..:

Kafle, Bishoksan ; Gange, Graeme ; Schachte, Peter..
Software and Systems Modeling. 23 (2024) 2 - p. 319-342 , 2024

Link: https://doi.org/10.1007/..

2

Logic-Based Program Synthesis and Transformation: 34th Inte..

Lecture Notes in Computer Science, 14919

Bowles, Juliana ; Søndergaard, Harald - 1st ed. 2024 . , 2024

Link: https://doi.org/10.1007/..

3

The Genesis of Mix: Early Days of Self-Applicable Partial E..:

, In: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation,

Sestoft, Peter ; Søndergaard, Harald - p. 1-13 , 2024

Link: https://dl.acm.org/doi/1..

4

String Abstract Domains and Their Combination:

, In: Lecture Notes in Computer Science; Logic-Based Program Synthesis and Transformation,

Søndergaard, Harald - p. 1-15 , 2022

Link: https://doi.org/10.1007/..

5

Programming to Learn : Logic and Computation from a Prog..:

, In: Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1,

Farrugia-Roberts, Matthew ; Jeffries, Bryn ; Søndergaard, Harald - p. 311-317 , 2022

Link: https://dl.acm.org/doi/1..

6

A Fresh Look at Zones and Octagons:

Gange, Graeme ; Ma, Zequn ; Navas, Jorge A....
ACM Transactions on Programming Languages and Systems. 43 (2021) 3 - p. 1-51 , 2021

Link: https://doi.org/10.1145/..

7

Algorithm Selection for Dynamic Symbolic Execution: A Preli..:

, In: Lecture Notes in Computer Science; Logic-Based Program Synthesis and Transformation,

Amadini, Roberto ; Gange, Graeme ; Schachte, Peter.. - p. 192-209 , 2021

Link: https://doi.org/10.1007/..

8

Disjunctive Interval Analysis:

, In: Lecture Notes in Computer Science; Static Analysis,

Gange, Graeme ; Navas, Jorge A. ; Schachte, Peter.. - p. 144-165 , 2021

Link: https://doi.org/10.1007/..

9

A Fresh Look at Zones and Octagons:

Gange, Graeme ; Ma, Zequn ; Navas, Jorge A....
ACM Transactions on Programming Languages and Systems (TOPLAS). 43 (2021) 3 - p. 1-51 , 2021

Link: https://dl.acm.org/doi/1..

10

Transformation-Enabled Precondition Inference:

KAFLE, BISHOKSAN ; GANGE, GRAEME ; STUCKEY, PETER J...
Theory and Practice of Logic Programming. 21 (2021) 6 - p. 700-716 , 2021

Link: https://doi.org/10.1017/..

11

Lightweight Nontermination Inference with CHCs:

, In: Lecture Notes in Computer Science; Software Engineering and Formal Methods,

Kafle, Bishoksan ; Gange, Graeme ; Schachte, Peter.. - p. 383-402 , 2021

Link: https://doi.org/10.1007/..

12

Dissecting Widening: Separating Termination from Informatio:

, In: Lecture Notes in Computer Science; Programming Languages and Systems,

Gange, Graeme ; Navas, Jorge A. ; Schachte, Peter.. - p. 95-114 , 2019

Link: https://doi.org/10.1007/..

13

Constraint Programming for Dynamic Symbolic Execution of Ja..:

, In: Lecture Notes in Computer Science; Integration of Constraint Programming, Artificial Intelligence, and Operations Research,

Amadini, Roberto ; Andrlon, Mak ; Gange, Graeme... - p. 1-19 , 2019

Link: https://doi.org/10.1007/..

14

Optimal Bounds for Floating-Point Addition in Constant Time:

, In: 2019 IEEE 26th Symposium on Computer Arithmetic (ARITH),

Andrlon, Mak ; Schachte, Peter ; Sondergaard, Harald. - p. 159-166 , 2019

Link: https://doi.org/10.1109/..

15

An iterative approach to precondition inference using const..:

KAFLE, BISHOKSAN ; GALLAGHER, JOHN P. ; GANGE, GRAEME...
Theory and Practice of Logic Programming. 18 (2018) 3-4 - p. 553-570 , 2018

Link: https://doi.org/10.1017/..