Results
|
|
|
SPOTS : a system for proving optimizing transformations sound (R) by Kanade, Aditya Sunil [Author] | Khedkar, Uday [ Supervisor] | Sanyal, Amitabha [Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering. Language: English Publication details: Mumbai IIT 2007Dissertation note: Thesis
Ph.D.
Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2007 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06:519.3 Kan.
|
|
|
|
Improved memory mangement and register usage for functional language implementations (R) by Satpathy, Manoranjan [Author] | Sanyal, Amitabha [Supervisor] | Venkatesh, G [ Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering. Language: English Publication details: Mumbai IIT 1996Dissertation note: Thesis
Ph.D.
Indian Institute of Technology Bombay. Department of Computer Science and Engineering 1996 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06 Sat.
|
|
|
|
Framework for imperative program transformations (R) by Sreenivas, Ashok [Author] | Biswas, S [Supervisor] | Sanyal, Amitabha [Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering. Language: English Publication details: Mumbai IIT 1998Dissertation note: Thesis
Ph.D.
Indian Institute of Technology Bombay. Department of Computer Science and Engineering 1998 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06 Sre.
|
|
|
|
Static analysis of functional programs using sharing graphs (R) by Gandhe, Milind [Author] | Venkatesh, G [Supervisor] | Sanyal, Amitabha [Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering. Language: English Publication details: Mumbai IIT 1999Dissertation note: Thesis
Ph.D.
Indian Institute of Technology Bombay. Department of Computer Science and Engineering 1999 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06:518.4 Gan.
|
|
|
|
Scaling up property checking (R) by Shrawankumar [Author] | Sanyal, Amitabha [Supervisor] | Khedker, Uday [Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering. Material type:  Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Bombay IIT 2019Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2019 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06 Shr.
|
|
|
|
Heap reference analysis (R) by Karkare, Amey [Author] | Khedkar, Uday [Supervisor] | Sanyal, Amitabha [Supervisor] | Indian Institute of Technology Bombay Department of Computer Science and Engineering. Language: English Publication details: Bombay IIT 2009Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering
2009 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.07 Kar.
|
