( en | de | ru )

 

Disambiguierung von "Sanyal, Amitabha"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Value Slice: A New Slicing Concept for Scalable Property Checking.

, , und . TACAS, Volume 9035 von Lecture Notes in Computer Science, Seite 101-115. Springer, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Monamie Sanyal

Raman Sanyal

Bhaskar Sanyal

Amitabha Roy

Amitabha Majumdar

 

Weitere Publikationen von Autoren mit dem selben Namen

An Incremental Slicing Method for Functional Programs., , und . CoRR, (2017)Heap reference analysis using access graphs., , und . ACM Trans. Program. Lang. Syst., 30 (1): 1 (2007)Synthesis of Programs from Multimodal Datasets., , , und . AAAI, Seite 184-191. AAAI Press, (2018)Liveness-based garbage collection for lazy languages., , und . ISMM, Seite 122-133. ACM, (2016)Correcting Errors in the Curry System., , und . FSTTCS, Volume 1180 von Lecture Notes in Computer Science, Seite 347-358. Springer, (1996)Effectiveness of Garbage Collection in MIT/GNU Scheme, , und . CoRR, (2006)A Logic for Correlating Temporal Properties across Program Transformations, , und . CoRR, (2012)An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness., , und . ASIAN, Volume 1023 von Lecture Notes in Computer Science, Seite 88-102. Springer, (1995)Value Slice: A New Slicing Concept for Scalable Property Checking., , und . TACAS, Volume 9035 von Lecture Notes in Computer Science, Seite 101-115. Springer, (2015)Heterogeneous Fixed Points with Application to Points-To Analysis., , und . APLAS, Volume 3780 von Lecture Notes in Computer Science, Seite 298-314. Springer, (2005)