Old Web
English
Sign In
Acemap
>
Paper
>
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification
2019
Emanuele De Angelis
Fabio Fioravanti
Alberto Pettorossi
Maurizio Proietti
Keywords:
Programming language
Sorting
Computer science
Horn clause
Correction
Cite
Save
Machine Reading By IdeaReader
16
References
0
Citations
NaN
KQI
[]