| Document Date: 2014-07-07 17:53:08
Open Document File Size: 562,12 KBShare Result on Facebook
City Cambridge / / Company Artificial Intelligence Laboratory / / Country United States / / / IndustryTerm minimum spanning tree algorithm / partial function applications / out-ofdomain applications / search-based model finder / software designs / arithmetic operators / reduced search space / search space / out-of-domain applications / greedy algorithm / program analysis tools / finite search / arithmetic applications / / Organization Institute of Technology Computer Science / Massachusetts Institute of Technology / / Person Daniel Jacksona / Daniel Jackson / Aleksandar Milicevic / / Position counterex∗ Corresponding author / / ProgrammingLanguage Java / / ProvinceOrState Massachusetts / / Technology greedy algorithm / simulation / Java / minimum spanning tree algorithm / / URL http /
SocialTag |
Preventing Arithmetic Overflows in Alloy Aleksandar Milicevica,∗, Daniel Jacksona a Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory,