Search Results for author:
Found 2 papers, 0 papers with code
DroidStar: Callback Typestates for Android Classes
We use DroidStar to learn callback typestates for Android classes both for cases where one is already provided by the documentation, and for cases where the documentation is unclear.
Proceedings Fourth Workshop on Synthesis
The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems.
Programming Languages Logic in Computer Science
Cannot find the paper you are looking for? You can
Submit a new open access paper.
