Author/Creator: SCHACHTE, PETER - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator SCHACHTE, PETER

1. An iterative approach to precondition inference using constrained Horn clauses. Issue 3 (10th August 2018)

Authors:: KAFLE, BISHOKSAN; GALLAGHER, JOHN P.; GANGE, GRAEME; SCHACHTE, PETER; SØNDERGAARD, HARALD; STUCKEY, PETER J.
Editors:: Dal Palu, Alessandro; Tarau, Paul
Journal:: Theory and practice of logic programming
Issue:: Volume 18:Issue 3/4(2018)
Page Start:: 553
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Horn clauses as an intermediate representation for program analysis and transformation*. Issue 4 (3rd September 2015)

Authors:: GANGE, GRAEME; NAVAS, JORGE A.; SCHACHTE, PETER; SØNDERGAARD, HARALD; STUCKEY, PETER J.
Editors:: Eiter, Thomas; Toni, Francesca
Journal:: Theory and practice of logic programming
Issue:: Volume 15:Issue 4/5(2015)
Page Start:: 526
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Transformation-Enabled Precondition Inference. Issue 6 (23rd November 2021)

Authors:: KAFLE, BISHOKSAN; GANGE, GRAEME; STUCKEY, PETER J.; SCHACHTE, PETER; SØNDERGAARD, HARALD
Journal:: Theory and practice of logic programming
Issue:: Volume 21:Issue 6(2021)
Page Start:: 700
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗