Articles with public access mandates - Peter SchachteLearn more
Not available anywhere: 2
Abstract interpretation over non-lattice abstract domains
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013
Mandates: Australian Research Council
Disjunctive interval analysis
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
International Static Analysis Symposium, 144-165, 2021
Mandates: US National Science Foundation
Available somewhere: 18
An abstract domain of uninterpreted functions
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
Verification, Model Checking, and Abstract Interpretation: 17th …, 2016
Mandates: Australian Research Council
Combining string abstract domains for JavaScript analysis: An evaluation
R Amadini, A Jordan, G Gange, F Gauthier, P Schachte, H Søndergaard, ...
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
Mandates: Australian Research Council
Horn clauses as an intermediate representation for program analysis and transformation
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
Theory and Practice of Logic Programming 15 (4-5), 526-542, 2015
Mandates: Australian Research Council
Interval analysis and machine arithmetic: Why signedness ignorance is bliss
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
ACM Transactions on Programming Languages and Systems (TOPLAS) 37 (1), 1-35, 2015
Mandates: Australian Research Council
Unbounded model-checking with interpolation for regular language constraints
G Gange, JA Navas, PJ Stuckey, H Søndergaard, P Schachte
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
Mandates: Australian Research Council
Exploiting sparsity in difference-bound matrices
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK …, 2016
Mandates: Australian Research Council
An iterative approach to precondition inference using constrained Horn clauses
B Kafle, JP Gallagher, G Gange, P Schachte, H Søndergaard, PJ Stuckey
Theory and Practice of Logic Programming 18 (3-4), 553-570, 2018
Mandates: Australian Research Council
Failure tabled constraint logic programming by interpolation
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
Theory and Practice of Logic Programming 13 (4-5), 593-607, 2013
Mandates: Australian Research Council
Constraint programming for dynamic symbolic execution of JavaScript
R Amadini, M Andrlon, G Gange, P Schachte, H Søndergaard, PJ Stuckey
Integration of Constraint Programming, Artificial Intelligence, and …, 2019
Mandates: Australian Research Council
Reference abstract domains and applications to string analysis
R Amadini, G Gange, F Gauthier, A Jordan, P Schachte, H Søndergaard, ...
Fundamenta Informaticae 158 (4), 297-326, 2018
Mandates: Australian Research Council
A fresh look at zones and octagons
G Gange, Z Ma, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (3), 1-51, 2021
Mandates: US National Science Foundation, Australian Research Council
Solving difference constraints over modular arithmetic
G Gange, H Søndergaard, PJ Stuckey, P Schachte
Automated Deduction–CADE-24: 24th International Conference on Automated …, 2013
Mandates: Australian Research Council
Analyzing array manipulating programs by program transformation
JRM Cornish, G Gange, JA Navas, P Schachte, H Søndergaard, ...
Logic-Based Program Synthesis and Transformation: 24th International …, 2015
Mandates: Australian Research Council
A benders decomposition approach to deciding modular linear integer arithmetic
B Kafle, G Gange, P Schachte, H Søndergaard, PJ Stuckey
Theory and Applications of Satisfiability Testing–SAT 2017: 20th …, 2017
Mandates: Australian Research Council
Transformation-enabled precondition inference
B Kafle, G Gange, PJ Stuckey, P Schachte, H Søndergaard
Theory and Practice of Logic Programming 21 (6), 700-716, 2021
Mandates: Government of Spain
Dissecting widening: Separating termination from information
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa …, 2019
Mandates: US National Science Foundation, Australian Research Council
String constraint solving: Past, present and future
R Amadini, G Gange, P Schachte, H Søndergaard, PJ Stuckey
ECAI 2020, 2875-2876, 2020
Mandates: Australian Research Council
A complete refinement procedure for regular separability of context-free languages
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
Theoretical Computer Science 625, 1-24, 2016
Mandates: Australian Research Council
Publication and funding information is determined automatically by a computer program