Subject: precondition inference -- program transformation -- abstract interpretation -- optimal precondition - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Subject precondition inference -- program transformation -- abstract interpretation -- optimal precondition

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) ↗

Search