( en | de | ru )

 

Disambiguierung von "Goyal, Deepak"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset.

, und . Algorithmic Languages and Calculi, Volume 95 von IFIP Conference Proceedings, Seite 382-414. Chapman & Hall, (1997)

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.

Parag Goyal

Ankit Goyal

Ayush Goyal

Deepak Bararia

Rachna Goyal

 

Weitere Publikationen von Autoren mit dem selben Namen

Compactly Representing First-Order Structures for Static Analysis., , , , und . SAS, Volume 2477 von Lecture Notes in Computer Science, Seite 196-212. Springer, (2002)Automated development of software for program analysis and transformation., und . ACM SIGSOFT Softw. Eng. Notes, 25 (1): 52-53 (2000)Deriving Specialized Program Analyses for Certifying Component-Client Conformance., , , , und . PLDI, Seite 83-94. ACM, (2002)Typestate verification: Abstraction techniques and complexity results., , , und . Sci. Comput. Program., 58 (1-2): 57-82 (2005)A New Solution to the Hidden Copy Problem., und . SAS, Volume 1503 von Lecture Notes in Computer Science, Seite 327-348. Springer, (1998)Typestate Verification: Abstraction Techniques and Complexity Results., , , und . SAS, Volume 2694 von Lecture Notes in Computer Science, Seite 439-462. Springer, (2003)A Language-Theoretic Approach to Algorithms.. New York University, USA, (2000)The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset., und . Algorithmic Languages and Calculi, Volume 95 von IFIP Conference Proceedings, Seite 382-414. Chapman & Hall, (1997)Transformational Derivation of an Improved Alias Analysis Algorithm.. High. Order Symb. Comput., 18 (1-2): 15-49 (2005)Streaming XPath Processing with Forward and Backward Axes., , , , , und . ICDE, Seite 455-466. IEEE Computer Society, (2003)