Julio Mari\~no

Identifiers

• name variant Julio Mari\~no 0.60 · backfill

Papers (5)

1. Runtime verification in Erlang by using contracts cs.PL · 2018 · author #2
2. Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures cs.PL · 2016 · author #2
3. Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code cs.PL · 2016 · author #4
4. Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems cs.PL · 2016 · author #2
5. Automatic Coding Rule Conformance Checking Using Logic Programs cs.PL · 2007 · author #2

Mentions

• 0711.0344 #2 · backfill · confidence 0.70 Julio Mari\~no

Frequent Coauthors

• Manuel Carro 4 shared papers
• Salvador Tamarit 4 shared papers
• Guillermo Vigueras 3 shared papers
• Lars-{\AA}ke Fredlund 2 shared papers
• \'Angel Herranz 1 shared papers
• Guillem Marpons-Ucero 1 shared papers
• Juan Jos\'e Moreno-Navarro 1 shared papers
• Sergio P\'erez 1 shared papers