( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Semantics-based reverse engineering of object-oriented data models.

, , , и . ICSE, стр. 192-201. ACM, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Raghavan Vallur

Sarada Raghavan

Raghavan Chinnadurai

 

Другие публикации лиц с тем же именем

Eliminating duplication in source code via procedure extraction, и . Technical Report 1461, UW-Madison Dept. of Computer Sciences, (декабря 2002)Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis., , и . FM, том 8442 из Lecture Notes in Computer Science, стр. 335-350. Springer, (2014)A case study in matching service descriptions to implementations in an existing system., , , и . ICSM, стр. 1-10. IEEE Computer Society, (2010)Dependent Types for Program Understanding., , , и . TACAS, том 3440 из Lecture Notes in Computer Science, стр. 157-173. Springer, (2005)Effective, Automatic Procedure Extraction., и . IWPC, стр. 33-43. IEEE Computer Society, (2003)Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation.. SAS, том 7935 из Lecture Notes in Computer Science, стр. 259-282. Springer, (2013)Semantics-Preserving Procedure Extraction., и . POPL, стр. 155-169. ACM, (2000)GenSys: a scalable fixed-point engine for maximal controller synthesis over infinite state spaces., , и . ESEC/SIGSOFT FSE, стр. 1585-1589. ACM, (2021)Recovering Data Models via Guarded Dependences., и . WCRE, стр. 110-119. IEEE Computer Society, (2007)Kondo: Efficient Provenance-Driven Data Debloating., , , , , и . ICDE, стр. 4965-4978. IEEE, (2024)