Your search returned 3 results.

Sort
Results
Set abstraction : semantics and implementation (R)

by Oberoi, Sundeep [Author] | Nagaraja, G [Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering.

Language: English Publication details: Bombay IIT 1994Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 1994 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06:519.5 Obe.

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.

Dependence analysis of functional programs and its applications (R)

by Prasanna Kumar, K [Author] | Sanyal, Amitabha [Supervisor] | Karkare, Amey | Indian Institute of Technology Bombay. Department of Computer Science and Engineering.

Material type: Text 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:517.1 Pra.

Pages

Powered by Koha