German Vidal

German Vidal

Universitat Politècnica de València - Valencia / Spain
Engineering & Technology / Computer Science
AD Scientific Index ID: 4340615
Polytechnic University of Valencia
person_outline German Vidal's MOST POPULAR ARTICLES
1-) Operational semantics for declarative multi-paradigm languagesE Albert, M Hanus, F Huch, J Oliver, G VidalJournal of Symbolic Computation 40 (1), 795-829, 20051372005
2-) Partial evaluation of functional logic programsM Alpuente, M Falaschi, G VidalACM Transactions on Programming Languages and Systems (TOPLAS) 20 (4), 768-844, 19981351998
3-) CauDEr: a causal-consistent reversible debugger for ErlangI Lanese, N Nishida, A Palacios, G VidalInternational Symposium on Functional and Logic Programming, 247-263, 2018752018
4-) A practical partial evaluator for a multi-paradigm declarative languageE Albert, M Hanus, G VidalInternational Symposium on Functional and Logic Programming, 326-342, 2001732001
5-) A theory of reversibility for ErlangI Lanese, N Nishida, A Palacios, G VidalJournal of Logical and Algebraic Methods in Programming 100, 71-97, 2018702018