German Vidal
German Vidal
Professor of Computer Science, Universitat Politècnica de València
Verified email at dsic.upv.es - Homepage
TitleCited byYear
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
1231998
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
1212005
Specialization of lazy functional logic programs
M Alpuente, M Falaschi, P Julian, G Vidal
ACM SIGPLAN Notices 32 (12), 151-162, 1997
721997
A practical partial evaluator for a multi-paradigm declarative language
E Albert, M Hanus
International Symposium on Functional and Logic Programming, 326-342, 2001
682001
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
411998
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
Dynamic slicing based on redex trails
C Ochoa, J Silva, G Vidal
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and …, 2004
382004
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
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
362005
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
342008
Specialization of inductively sequential functional logic programs
M Alpuente, M Hanus, S Lucas, G Vidal
ACM SIGPLAN Notices 34 (9), 273-283, 1999
331999
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
Fast narrowing-driven partial evaluation for inductively sequential programs
JG Ramos, J Silva, G Vidal
ACM SIGPLAN Notices 40 (9), 228-239, 2005
262005
Using an abstract representation to specialize functional logic programs
E Albert, M Hanus, G Vidal
International Conference on Logic for Programming Artificial Intelligence …, 2000
262000
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
261993
A Unifying View of Functional and Logic Program Specialization.
M Alpuente, M Falaschi, G Vidal
ACM Comput. Surv. 30 (3es), 9, 1998
251998
A partial evaluation framework for curry programs
E Albert, M Alpuente, M Harms, G Vidal
International Conference on Logic for Programming Artificial Intelligence …, 1999
241999
The system can't perform the operation now. Try again later.
Articles 1–20