ACM Programming Language Design and Implementation, PLDI 2015

Article Details
Title: Synthesis of ranking functions using extremal counterexamples
Article URLs:
Alternative Article URLs:
Authors: Laure Gonnord
  • Univ. Lyon1, France
  • LIP
David Monniaux
  • Univ. Grenoble Alpes, VERIMAG
Gabriel Radanne
  • Univ. Paris Diderot, France
  • PPS
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/pldi/GonnordMR15
Author Comments:

Discuss this paper and its artifacts below