|
Search the dblp DataBase
Amitabha Sanyal:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Aditya Kanade, Uday P. Khedker, Amitabha Sanyal
Heterogeneous Fixed Points with Application to Points-To Analysis. [Citation Graph (0, 0)][DBLP] APLAS, 2005, pp:298-314 [Conf]
- Milind Gandhe, G. Venkatesh, Amitabha Sanyal
Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract). [Citation Graph (0, 0)][DBLP] ASIAN, 1995, pp:103-110 [Conf]
- Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh
An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness. [Citation Graph (0, 0)][DBLP] ASIAN, 1995, pp:88-102 [Conf]
- Milind Gandhe, G. Venkatesh, Amitabha Sanyal
Correcting Errors in the Curry System. [Citation Graph (0, 0)][DBLP] FSTTCS, 1996, pp:347-358 [Conf]
- Amitabha Sanyal, S. Biswas, Vishv M. Malhotra
Extension of Weakest Precondition Formalism to a Low Level Language. [Citation Graph (0, 0)][DBLP] FSTTCS, 1987, pp:485-499 [Conf]
- S. Biswas, Amitabha Sanyal, L. M. Tewari
Extended Cycle Shrinking: A Restructuring Method for Parallel Compilation. [Citation Graph (0, 0)][DBLP] ICCI, 1991, pp:462-470 [Conf]
- Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
A PVS Based Framework for Validating Compiler Optimizations. [Citation Graph (0, 0)][DBLP] SEFM, 2006, pp:108-117 [Conf]
- Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh
Improved Register Usage for Functional Programs through Multiple Function Versions. [Citation Graph (0, 0)][DBLP] Journal of Functional and Logic Programming, 1998, v:1998, n:7, pp:- [Journal]
- Mangala Gowri Nanda, Purandar Bhaduri, Sundeep Oberoi, Amitabha Sanyal
An Application of Compiler Technology to the Year 2000 Problem. [Citation Graph (0, 0)][DBLP] Softw., Pract. Exper., 1999, v:29, n:4, pp:359-377 [Journal]
- Amey Karkare, Uday P. Khedker, Amitabha Sanyal
Liveness of Heap Data for Functional Programs [Citation Graph (0, 0)][DBLP] CoRR, 2007, v:0, n:, pp:- [Journal]
- Amey Karkare, Amitabha Sanyal, Uday P. Khedker
Effectiveness of Garbage Collection in MIT/GNU Scheme [Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp:- [Journal]
- Uday P. Khedker, Amitabha Sanyal, Amey Karkare
Heap Reference Analysis Using Access Graphs [Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp:- [Journal]
- Amey Karkare, Amitabha Sanyal, Uday P. Khedker
Heap Reference Analysis for Functional Programs [Citation Graph (0, 0)][DBLP] CoRR, 2007, v:0, n:, pp:- [Journal]
- Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
Structuring Optimizing Transformations and Proving Them Sound. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:176, n:3, pp:79-95 [Journal]
Search in 0.003secs, Finished in 0.003secs
|