( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Erlang Code Evolution Control.

, , , и . LOPSTR, том 10855 из Lecture Notes in Computer Science, стр. 128-144. Springer, (2017)

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.

Michael Salvador

Salvador Herrador

Salvador Oberhaus

Salvador Fernandes

Salvador Millaleo

 

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

The MEB and CEB Static Analysis for CSP Specifications., , , , и . LOPSTR, том 5438 из Lecture Notes in Computer Science, стр. 103-118. Springer, (2008)TeMex: The Web Template Extractor., , , и . WWW (Companion Volume), стр. 155-158. ACM, (2015)A core Erlang semantics for declarative debugging., , , и . J. Log. Algebraic Methods Program., (2019)SOC: a slicer for CSP specifications., , , , и . PEPM, стр. 165-168. ACM, (2009)A Declarative Debugger for Sequential Erlang Programs., , , и . TAP, том 7942 из Lecture Notes in Computer Science, стр. 96-114. Springer, (2013)Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation., , и . WFLP, том 5979 из Lecture Notes in Computer Science, стр. 111-127. Springer, (2009)Web Template Extraction Based on Hyperlink Analysis., , , и . PROLE, том 173 из EPTCS, стр. 16-26. (2014)A Haskell Implementation of a Rule-Based Program Transformation for C Programs., , , и . PADL, том 9131 из Lecture Notes in Computer Science, стр. 105-114. Springer, (2015)Dynamic Slicing Techniques for Petri Nets., , , , и . RP, том 223 из Electronic Notes in Theoretical Computer Science, стр. 153-165. Elsevier, (2008)ReverCSP: Time-Travelling in CSP Computations., , , и . RC, том 12227 из Lecture Notes in Computer Science, стр. 239-245. Springer, (2020)