Normal view MARC view ISBD view

SPOTS : a system for proving optimizing transformations sound (R)

By: Kanade, Aditya Sunil [Author]Contributor(s): Khedkar, Uday [ Supervisor] | Sanyal, Amitabha [Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering Language: English Publication details: Mumbai IIT 2007Description: xi,255 p. 30 cmSubject(s): Theses and Dissertations | Compilers(Computer programs) | Mathematical optimizationDissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2007

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Notes	Date due	Barcode	Item holds
Theses and Dissertations	Central Library, IITB Pamphlet Section (Theses, Standards, Reports)	043:681.3.06:519.3 Kan	Not for loan	D08A12		216372

Total holds: 0

Thesis
Ph.D.
Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2007

There are no comments on this title.

to post a comment.