( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Static Semantics for Alloy and its Impact in Refactorings

, , и . Electron. Notes Theor. Comput. Sci., (2007)
DOI: 10.1016/j.entcs.2007.03.023

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.

Rohit Sinha

Rohit Gupta

Rohit Ghai

Rohit Soni

Rohit Datta

 

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

Automatically Checking Feature Model Refactorings., , и . J. Univers. Comput. Sci., 17 (5): 684-711 (2011)Selected papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013)., и . Sci. Comput. Program., (2015)A Refinement Theory for Alloy. Universidade Federal de Pernambuco, (июля 2007)Refactoring Alloy Specifications, и . Electronic Notes in Theoretical Computer Science, (мая 2004)Enhancing conformance checking for contract-based programs., , и . SPLASH (Companion Volume), стр. 57-58. ACM, (2014)Java reflection API: revealing the dark side of the mirror., , , , и . ESEC/SIGSOFT FSE, стр. 636-646. ACM, (2019)An empirical study on configuration-related issues: investigating undeclared and unused identifiers., , , , и . GPCE, стр. 35-44. ACM, (2015)Mutation Operators for Java Streams., , , , , и . SAST, стр. 59-68. ACM, (2022)Lint-Based Warnings in Python Code: Frequency, Awareness and Refactoring., , , , , и . SCAM, стр. 208-218. IEEE, (2022)Revisiting Refactoring Mechanics from Tool Developers' Perspective., , , , , и . SBMF, том 12475 из Lecture Notes in Computer Science, стр. 25-42. Springer, (2020)