View in EDS PDF Full Text

Bit-Precise Procedure-Modular Termination Analysis.

Saved in:
Bibliographic Details
Title: Bit-Precise Procedure-Modular Termination Analysis.
Authors: HONG-YI CHEN1, hongyichen00@gmail.com, DAVID, CRISTINA1, cd652@cam.ac.uk, KROENING, DANIEL1, daniel.kroening@cs.ox.ac.uk, SCHRAMMEL, PETER2, p.schrammel@sussex.ac.uk, WACHTER, BJÖRN3, bjoern.wachter@gmail.com
Source: ACM Transactions on Programming Languages & Systems; Dec2017, Vol. 40 Issue 1, p1:1-1:38, 38p
Database: Applied Science & Technology Source
Description
ISSN:01640925
DOI:10.1145/3121136