Dubrovnik / Minneapolis / Berlin / Cannes / Vancouver / /
Company
MIT Press / Prentice-Hall Inc. / Compaq / Microsoft / Artificial Intelligence Laboratory / /
Country
Germany / Croatia / France / Canada / / /
EntertainmentAwardEvent
Cannes / /
Event
Reorganization / Product Issues / /
Facility
R. Garner / Artificial Intelligence Laboratory Massachusetts Institute of Technology / A. Diwan / Iowa State University / /
IndustryTerm
bank account / static analysis tool / verification tools / bank account object / real-world applications / bank account classes / /
Organization
National Science Foundation / DaCapo Benchmark Suite / Massachusetts Institute of Technology / Iowa State University / /
Person
Joseph P. Near / Derek Rayside / John Guttag / David Hovemeyer / Joshua Bloch / Shuvendu K. Lahiri / Albert L. Baker / Klaus Samelson / Mandana Vaziri / Julian Dolby / Bill Venners / Simon Peyton Jones / Peter Grogono / Serge Abiteboul / Aleksandar Milicevic / William Pugh / Stephen Fink / Deductive / Jan Van Bussche / Jonathan Edwards / William R. Cook / Thomas Ball / Bertrand Meyer / Rob Seater / Carlos Pacheco / Proc / Martin Odersky / Michael D. Ernst / Gregg Rothermel / Antonia Bertolino / Greg Dennis / Lex Spoon / Barbara Liskov / Clyde Ruby / Cliff B. Jones / Markku Sakkinen / Daniel Jackson / /
Equality and Hashing for (almost) Free: Generating Implementations from Abstraction Functions Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic and Daniel Jackson Computer Science and Artif