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
1392005
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
1341998
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
742018
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
742001
Specialization of lazy functional logic programs
M Alpuente, M Falaschi, P Julián, G Vidal
ACM Sigplan Notices 32 (12), 151-162, 1997
691997
The narrowing-driven approach to functional logic program specialization
E Albert, G Vidal
New Generation Computing 20 (1), 3-26, 2002
642002
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
622018
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
482008
Narrowing-driven partial evaluation of functional logic programs
M Alpuente, M Falaschi, G Vidal
Programming Languages and Systems—ESOP'96: 6th European Symposium on …, 1996
471996
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
411998
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
402005
Causal-consistent replay debugging for message passing programs
I Lanese, A Palacios, G Vidal
Formal Techniques for Distributed Objects, Components, and Systems: 39th …, 2019
392019
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 transformation system for lazy functional logic programs
M Alpuente, M Falaschi, G Moreno, G Vidal
Functional and Logic Programming: 4th Fuji International Symposium, FLOPS’99 …, 1999
391999
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
382004
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
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
A reversible semantics for Erlang
N Nishida, A Palacios, G Vidal
International Symposium on Logic-Based Program Synthesis and Transformation …, 2016
362016
Program inversion for tail recursive functions
N Nishida, G Vidal
22nd International Conference on Rewriting Techniques and Applications (RTA'11), 2011
292011
Measuring the effectiveness of partial evaluation in functional logic languages
KK Lau, E Albert, G Vidal, S Antoy
Logic Based Program Synthesis and Transformation: 10th International …, 2001
282001
The system can't perform the operation now. Try again later.
Articles 1–20