Member of the Extensions of Logic Programming (ELP) research group.

Research interests

• Term rewriting

• Functional programming

My travels

• Context-Sensitive Dependency Pairs

  with S. Lucas R. Gutiérrez

  Information and Computation, to appear, 2010.

  © Elsevier

• A Dependency Pairs Framework for AvC-Termination

  with S. Lucas and J. Meseguer

  8th International Workshop on Rewriting Logic and its Applications, WRLA'10, LNCS, to appear.

  © Springer-Verlag

• Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting

  with S. Lucas

  Electronic Notes in Theoretical Computer Science, 248:3-17, 2009.

  © Elsevier

• Improving Context-Sensitive Dependency Pairs

  with F. Emmes, C. Fuhs, J. Gies, R. Gutiérrez, S. Lucas, P. Schneider-Kamp and R. Thiemann

  15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR'08, LNAI 53330: 636-651.

  © Springer-Verlag

• Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs

  with S. Lucas

  6th International Symposium on Frontiers of Combining Systems, FroCoS'07, LNCS 4720:73-87.

  © Springer-Verlag

• Dependency Pairs for Termination of Innermost Context-Sensitive Rewriting

  with S. Lucas

  Proc. of VII Spanish Conference on Programming and Computer Languages (PROLE), 2007

• Improving the context-sensitive dependency graph

  with R. Gutiérrez and S. Lucas

  Electronic Notes in Theoretical Computer Science, 188:91-103, 2007.
  

  © Elsevier

• Proving Termination of Context-Sensitive Rewriting with MU-TERM

  with R. Gutiérrez, J. Iborra and S. Lucas

  Proc. of IV Spanish Conference on Programming and Computer Languages (PROLE), 2006. Selected papers. Electronic Notes in Theoretical Computer Science, 188:105-115, 2007.
  

  © Elsevier

• Context-Sensitive Dependency Pairs

  with R. Gutiérrez and S. Lucas

  Proc. of XXVI Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2006. LNCS, to appear, 2006.

  © Springer-Verlag

• Dependency Pairs for Context-Sensitive Rewriting

  with R. Gutiérrez and S. Lucas

  Technical Report DSIC II/07/06 (24 pages). Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Spain, June 2006.

• Towards a Dependency Pair Framework for Context-Sensitive Rewriting

  with R. Gutiérrez and S. Lucas

  Proc. of VI Spanish Conference on Programming and Computer Languages (PROLE), 2006

• Building .NET GUIs for Haskell applications

  with S. Lucas

  4th International Conference on .NET Technologies, University of West-Bohemia, pages 57-66, 2006

Last update July 2008 / balarcon (at) dsic (dot) upv (dot) es