( en | de | ru )

 

Disambiguierung von "Tamarit, Salvador"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Erlang Code Evolution Control.

, , , und . LOPSTR, Volume 10855 von Lecture Notes in Computer Science, Seite 128-144. Springer, (2017)

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.

Michael Salvador

Salvador Herrador

Salvador Oberhaus

Salvador Fernandes

Salvador Millaleo

 

Weitere Publikationen von Autoren mit dem selben Namen

The MEB and CEB Static Analysis for CSP Specifications., , , , und . LOPSTR, Volume 5438 von Lecture Notes in Computer Science, Seite 103-118. Springer, (2008)A core Erlang semantics for declarative debugging., , , und . J. Log. Algebraic Methods Program., (2019)SOC: a slicer for CSP specifications., , , , und . PEPM, Seite 165-168. ACM, (2009)What Web Template Extractor Should I Use? A Benchmarking and Comparison for Five Template Extractors., , und . ACM Trans. Web, 13 (2): 9:1-9:19 (2019)TeMex: The Web Template Extractor., , , und . WWW (Companion Volume), Seite 155-158. ACM, (2015)Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation., , und . WFLP, Volume 5979 von Lecture Notes in Computer Science, Seite 111-127. Springer, (2009)Web Template Extraction Based on Hyperlink Analysis., , , und . PROLE, Volume 173 von EPTCS, Seite 16-26. (2014)A Declarative Debugger for Sequential Erlang Programs., , , und . TAP, Volume 7942 von Lecture Notes in Computer Science, Seite 96-114. Springer, (2013)A Haskell Implementation of a Rule-Based Program Transformation for C Programs., , , und . PADL, Volume 9131 von Lecture Notes in Computer Science, Seite 105-114. Springer, (2015)Dynamic Slicing Techniques for Petri Nets., , , , und . RP, Volume 223 von Electronic Notes in Theoretical Computer Science, Seite 153-165. Elsevier, (2008)