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
1422005
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
1361998
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
882018
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
732001
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
702018
Specialization of lazy functional logic programs
M Alpuente, M Falaschi, P Julián, G Vidal
ACM Sigplan Notices 32 (12), 151-162, 1997
701997
The narrowing-driven approach to functional logic program specialization
E Albert, G Vidal
New Generation Computing 20 (1), 3-26, 2002
652002
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
492008
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
491996
Causal-consistent replay debugging for message passing programs
I Lanese, A Palacios, G Vidal
Formal Techniques for Distributed Objects, Components, and Systems: 39th …, 2019
412019
Dynamic slicing based on redex trails
C Ochoa, J Silva, G Vidal
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and …, 2004
412004
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
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
401999
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
401998
A reversible semantics for Erlang
N Nishida, A Palacios, G Vidal
International Symposium on Logic-Based Program Synthesis and Transformation …, 2016
382016
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
Foundations of reversible computation
B Aman, G Ciobanu, R Glück, R Kaarsgaard, J Kari, M Kutrib, I Lanese, ...
Reversible Computation: Extending Horizons of Computing: Selected Results of …, 2020
302020
Program inversion for tail recursive functions
N Nishida, G Vidal
22nd International Conference on Rewriting Techniques and Applications (RTA'11), 2011
302011
The system can't perform the operation now. Try again later.
Articles 1–20