Follow
German Vidal
Title
Cited by
Cited by
Year
Operational semantics for declarative multi-paradigm languages
E Albert, M Hanus, F Huch, J Oliver, G Vidal
Journal of Symbolic Computation 40 (1), 795-829, 2005
1322005
Partial evaluation of functional logic programs
M Alpuente, M Falaschi, G Vidal
ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (4), 768-844, 1998
1321998
A practical partial evaluator for a multi-paradigm declarative language
E Albert, M Hanus, G Vidal
International Symposium on Functional and Logic Programming, 326-342, 2001
692001
Specialization of lazy functional logic programs
M Alpuente, M Falaschi, P Julián, G Vidal
ACM Sigplan Notices 32 (12), 151-162, 1997
661997
The narrowing-driven approach to functional logic program specialization
E Albert, G Vidal
New Generation Computing 20 (1), 3-26, 2002
642002
CauDEr: a causal-consistent reversible debugger for Erlang
I Lanese, N Nishida, A Palacios, G Vidal
International Symposium on Functional and Logic Programming, 247-263, 2018
552018
Narrowing-driven partial evaluation of functional logic programs
M Alpuente, M Falaschi, G Vidal
European Symposium on Programming, 45-61, 1996
461996
A theory of reversibility for Erlang
I Lanese, N Nishida, A Palacios, G Vidal
Journal of Logical and Algebraic Methods in Programming 100, 71-97, 2018
452018
Improving control in functional logic program specialization
E Albert, M Alpuente, M Falaschi, P Julián, G Vidal
International Static Analysis Symposium, 262-277, 1998
421998
Dynamic slicing techniques for petri nets
M Llorens, J Oliver, J Silva, S Tamarit, G Vidal
Electronic Notes in Theoretical Computer Science 223, 153-165, 2008
402008
Dynamic slicing based on redex trails
C Ochoa, J Silva, G Vidal
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and …, 2004
392004
A semantics for tracing declarative multi-paradigm programs
B Braßel, M Hanus, F Huch, G Vidal
Proceedings of the 6th ACM SIGPLAN international conference on Principles …, 2004
382004
A transformation system for lazy functional logic programs
M Alpuente, M Falaschi, G Moreno, G Vidal
International Symposium on Functional and Logic Programming, 147-162, 1999
381999
Specialization of functional logic programs based on needed narrowing
M Alpuente, S Lucas, G Vidal, M Hanus
Theory and Practice of Logic Programming 5 (3), 273-303, 2005
372005
Rules+ strategies for transforming lazy functional logic programs
M Alpuente, M Falaschi, G Moreno, G Vidal
Theoretical Computer Science 311 (1-3), 479-525, 2004
372004
Specialization of inductively sequential functional logic programs
M Alpuente, M Hanus, S Lucas, G Vidal
ACM SIGPLAN Notices 34 (9), 273-283, 1999
371999
Causal-consistent replay debugging for message passing programs
I Lanese, A Palacios, G Vidal
International Conference on Formal Techniques for Distributed Objects …, 2019
342019
A partial evaluation framework for curry programs
E Albert, M Alpuente, M Harms, G Vidal
International Conference on Logic for Programming Artificial Intelligence …, 1999
301999
A reversible semantics for Erlang
N Nishida, A Palacios, G Vidal
International Symposium on Logic-Based Program Synthesis and Transformation …, 2016
292016
Measuring the effectiveness of partial evaluation in functional logic languages
E Albert, G Vidal, S Antoy
International Workshop on Logic-Based Program Synthesis and Transformation …, 2000
282000
The system can't perform the operation now. Try again later.
Articles 1–20