Peter Schachte
Peter Schachte
School of Computing and Information Systems, University of Melbourne
Verifierad e-postadress på unimelb.edu.au - Startsida
TitelCiteras avÅr
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
1181998
Boolean functions for dependency analysis: Algebraic properties and efficient representation
T Armstrong, K Marriott, P Schachte, H Søndergaard
International Static Analysis Symposium, 266-280, 1994
801994
The Mercury language reference manual
F Henderson, T Conway, Z Somogyi, D Jeffery, P Schachte, S Taylor, ...
URL: http://www. cs. mu. oz. au/research/mercury/information/doc/reference …, 1996
77*1996
State joining and splitting for the symbolic execution of binaries
T Hansen, P Schachte, H Søndergaard
International Workshop on Runtime Verification, 76-92, 2009
52*2009
A secure event agreement (SEA) protocol for peer-to-peer games
AB Corman, S Douglas, P Schachte, V Teague
First International Conference on Availability, Reliability and Security …, 2006
502006
Factorizing equivalent variable pairs in ROBDD-based implementations of Pos
R Bagnara, P Schachte
International Conference on Algebraic Methodology and Software Technology …, 1999
391999
A Secure Group Agreement (SGA) protocol for peer-to-peer applications
AB Corman, P Schachte, V Teague
21st International Conference on Advanced Information Networking and …, 2007
372007
Abstract interpretation over non-lattice abstract domains
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
International Static Analysis Symposium, 6-24, 2013
232013
Signedness-agnostic program analysis: Precise integer bounds for low-level code
JA Navas, P Schachte, H Søndergaard, PJ Stuckey
Asian Symposium on Programming Languages and Systems, 115-130, 2012
202012
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
172013
Unbounded model-checking with interpolation for regular language constraints
G Gange, JA Navas, PJ Stuckey, H Søndergaard, P Schachte
International Conference on Tools and Algorithms for the Construction and …, 2013
162013
Precise and efficient static analysis of logic programs
P Schachte
University of Melbourne, Department of Computer Science, 1999
161999
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
152015
Exploiting sparsity in difference-bound matrices
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
International Static Analysis Symposium, 189-211, 2016
142016
Combining string abstract domains for JavaScript analysis: an evaluation
R Amadini, A Jordan, G Gange, F Gauthier, P Schachte, H Søndergaard, ...
International Conference on Tools and Algorithms for the Construction and …, 2017
132017
An abstract domain of uninterpreted functions
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
International Conference on Verification, Model Checking, and Abstract …, 2016
132016
ParaAJ: toward reusable and maintainable aspect oriented programs
K Aljasser, P Schachte
Proceedings of the Thirty-Second Australasian Conference on Computer Science …, 2009
132009
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, 2015
122015
Closure operators for ROBDDs
P Schachte, H Søndergaard
International Workshop on Verification, Model Checking, and Abstract …, 2006
122006
QUIP: A protocol for securing content in peer-to-peer publish/subscribe overlay networks
AB Corman, P Schachte, V Teague
Proceedings of the thirtieth Australasian conference on Computer science …, 2007
112007
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20