German Vidal
German Vidal
Professor of Computer Science, MIST, VRAIN, Universitat Politècnica de València
Verified email at dsic.upv.es - Homepage
Title
Cited by
Cited by
Year
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
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
1312005
Specialization of lazy functional logic programs
M Alpuente, M Falaschi, P Julian, G Vidal
ACM Sigplan Notices 32 (12), 151-162, 1997
751997
A practical partial evaluator for a multi-paradigm declarative language
E Albert, M Hanus
International Symposium on Functional and Logic Programming, 326-342, 2001
692001
The narrowing-driven approach to functional logic program specialization
E Albert, G Vidal
New Generation Computing 20 (1), 3-26, 2002
652002
Narrowing-driven partial evaluation of functional logic programs
M Alpuente, M Falaschi, G Vidal
European Symposium on Programming, 45-61, 1996
501996
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
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
392018
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
392004
Specialization of functional logic programs based on needed narrowing
M Alpuente, M Hanus, S Lucas, G Vidal
arXiv preprint cs/0403011, 2004
372004
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
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
371999
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
362008
Specialization of inductively sequential functional logic programs
M Alpuente, M Hanus, S Lucas, G Vidal
ACM SIGPLAN Notices 34 (9), 273-283, 1999
331999
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
292018
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
Narrowing approximations as an optimization for equational logic programs
M Alpuente, M Falaschi, MJ Ramis, G Vidal
International Symposium on Programming Language Implementation and Logic …, 1993
281993
Using an abstract representation to specialize functional logic programs
E Albert, M Hanus, G Vidal
International Conference on Logic for Programming Artificial Intelligence …, 2000
272000
Fast narrowing-driven partial evaluation for inductively sequential programs
JG Ramos, J Silva, G Vidal
ACM SIGPLAN Notices 40 (9), 228-239, 2005
262005
The system can't perform the operation now. Try again later.
Articles 1–20