---
res:
  bibo_abstract:
  - 'A modular program analysis considers components independently and provides a
    succinct summary for each component, which is used when checking the rest of the
    system. Consider a system consisting of a library and a client. A temporal summary,
    or interface, of the library specifies legal sequences of library calls. The interface
    is safe if no call sequence violates the library''s internal invariants; the interface
    is permissive if it contains every such sequence. Modular program analysis requires
    full interfaces, which are both safe and permissive: the client does not cause
    errors in the library if and only if it makes only sequences of library calls
    that are allowed by the full interface of the library.Previous interface-based
    methods have focused on safe interfaces, which may be too restrictive and thus
    reject good clients. We present an algorithm for automatically synthesizing software
    interfaces that are both safe and permissive. The algorithm generates interfaces
    as graphs whose vertices are labeled with predicates over the library''s internal
    state, and whose edges are labeled with library calls. The interface state is
    refined incrementally until the full interface is constructed. In other words,
    the algorithm automatically synthesizes a typestate system for the library, against
    which any client can be checked for compatibility. We present an implementation
    of the algorithm which is based on the BLAST model checker, and we evaluate some
    case studies.@eng'
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Thomas A
      foaf_name: Thomas Henzinger
      foaf_surname: Henzinger
      foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87
    orcid: 0000−0002−2985−7724
  - foaf_Person:
      foaf_givenName: Ranjit
      foaf_name: Jhala, Ranjit
      foaf_surname: Jhala
  - foaf_Person:
      foaf_givenName: Ritankar
      foaf_name: Majumdar, Ritankar S
      foaf_surname: Majumdar
  bibo_doi: 10.1145/1081706.1081713
  dct_date: 2005^xs_gYear
  dct_publisher: ACM@
  dct_title: Permissive interfaces@
...