PAPERS

Title:Bit-Precise Procedure-Modular Termination Analysis
Links:Document as PDF
Authors:Hong-Yi Chen
Cristina David
Daniel Kroening EMail
Peter Schrammel
Bjoern Wachter
Remarks:
Topics:

Bibtex:

@article{cdksw2017,
  AUTHOR    = { Chen, Hong-Yi
                and David, Cristina
                and Kroening, Daniel
                and Schrammel, Peter
                and Wachter, Bjoern },
  TITLE     = { Bit-Precise Procedure-Modular Termination Analysis },
  NOTE      = { To appear. },
  YEAR      = { 2017 },
  JOURNAL   = { ACM Transactions on Programming Languages and Systems (TOPLAS) },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.