| Document Date: 2012-05-26 11:29:50
Open Document File Size: 471,58 KBShare Result on Facebook
Company Artificial Intelligence Laboratory / / / Facility Artificial Intelligence Laboratory Massachusetts Institute of Technology / / IndustryTerm minimum spanning tree algorithm / partial function applications / search-based model finder / software designs / arithmetic operators / greedy algorithm / out-of-domain applications / finite search / arithmetic applications / / Organization Massachusetts Institute of Technology / U.S. Securities and Exchange Commission / / Person Daniel Jackson / / Product Alloy / / ProgrammingLanguage Java / / Technology greedy algorithm / simulation / Java / minimum spanning tree algorithm / /
SocialTag |
Preventing Arithmetic Overflows in Alloy Aleksandar Milicevic and Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {aleks, dnj}@csail.mit.edu