Publications

(See also DBLP or ELP Publications)

Classified by:
  • Books (and Chapters)
  • International Journals
  • Conference & Workshop Papers
  • Technical Reports
  • PhD Thesis

    • Books (and Chapters)

    2012

  • Santiago Escobar
    Reduction Strategies in Rewriting and Programming,
    10th International Workshop, WRS 2011, Novi Sad, Serbia, May 29,2011, Revised Selected Papers    .
    Electronic Proceedings in Theoretical Computer Science.
    Available: EPTCS DOI

    • 2010

  • Santiago Escobar
    Functional and Constraint Logic Programming,
    18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers    .
    Lecture Notes in Computer Science, volume 5979, 180 pages.
    © Springer-Verlag
    Available: DOI

    • 2009

  • Santiago Escobar, Catherine Meadows, José Meseguer.
    Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties.
    FOSAD 2007/2008/2009 Tutorial Lectures, LNCS 5705, pages 1-50.
    © Springer-Verlag
    • Available: PDF

  • Dan Dougherty, Santiago Escobar,
    Security and Rewriting Techniques, 3rd Int'l Workshop
    Electronic Notes in Theoretical Computer Science, Volume 234, pages 1-114.
    © Elsevier Science

  • Demis Ballis, Santiago Escobar,
    Automated Specification and Verification of Web Sites, 4th Int'l Workshop
    Electronic Notes in Theoretical Computer Science, Volume 235, pages 1-152.
    © Elsevier Science

    • 2008

  • Demis Ballis, Santiago Escobar, Massimo Marchiori.
    Automated Specification and Verification of Web Sites, 3rd Int'l Workshop
    Electronic Notes in Theoretical Computer Science Volume 200, Issue 3, Pages 1-188.
    © Elsevier Science

    • 2007

  • María Alpuente, Santiago Escobar, Moreno Falaschi.
    Automated Specification and Verification of Web Systems, 2nd Int'l Workshop, May 2007
    © IEEE Press
    Available: IEEE Xplore link

    • 2006

  • María Alpuente, Santiago Escobar, Moreno Falaschi.
    Automated Specification and Verification of Web Sites, 1st Int'l Workshop
    Electronic Notes in Theoretical Computer Science Volume 157, Issue 2, Pages 1-212, 22 May 2006
    © Elsevier Science
    Available: Online Pre-proceedings

    • International Journals

    2013

  • María Alpuente, Santiago Escobar, Javier Espert, José Meseguer.
    A Modular Order-sorted Equational Generalization Algorithm.
    Information and Computation, 2013, to appear.
    © Elsevier
    Available: Preliminary version

  • Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
    State Space Reduction in the Maude-NRL Protocol Analyzer.
    Information and Computation, 2013, to appear.
    © Elsevier
    Available: Preliminary version

    • 2012

  • Santiago Escobar, Ralf Sasse, José Meseguer.
    Folding variant narrowing and optimal variant termination.
    The Journal of Logic and Algebraic Programming, Volume 81, Issues 7-8, pages 898-928, 2012.
    © Elsevier
    Available: Preliminary version DOI link

    • 2010

  • María Alpuente, Santiago Escobar, José Iborra.
    Modular Termination of Basic Narrowing and Equational Unification.
    Logic Journal of the IGPL, Volume 19, Issue 6, pages 731-762. 2010.
    © Oxford Journals
    Available: DOI link Preliminary version

  • María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra.
    A Compact Fixpoint Semantics for Term Rewriting Systems
    Theoretical Computer Science, Volume 411, Issue 37, 7 August 2010, Pages 3348-3371.
    © Elsevier
    Available: DOI link Preliminary version

  • María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas.
    On-Demand Strategy Annotations Revisited: An Improved On-Demand Evaluation Strategy
    Theoretical Computer Science, Volume 411, Issue 2, 2 January 2010, Pages 504-541.
    © Elsevier
    Available: DOI link Preliminary version

    • 2009

  • María Alpuente, Santiago Escobar, José Iborra.
    Termination of Narrowing Revisited
    Theoretical Computer Science, Volume 410, Issue 46, 1 November 2009, Pages 4608-4625.
    Abstract Interpretation and Logic Programming: In honor of professor Giorgio Levi.
    © Elsevier
    Available: DOI link Preliminary version

    • 2007

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    Removing Redundant Arguments Automatically
    Theory and Practice of Logic Programming, Volume 7, Issues 1-2, pages 3-35, 2007.
    © Cambridge University Press
    Available: DOI link Online version (CoRR)

    • 2006

  • Santiago Escobar, Catherine Meadows, José Meseguer.
    A Rewriting-Based Inference System for the NRL Protocol Analyzer and its Meta-Logical Properties
    Theoretical Computer Science, Volume 367, Issues 1-2, pages 162-202, 2006.
    © Elsevier
    Available: DOI link Preliminary version

    • 2004

  • Santiago Escobar.
    Strategies and Analysis Techniques in Functional Program Optimization
    AI Communications, 17(1):35 - 37.
    IOS Press, 2004
    © IOS Press
    Available: IOS Press link PDF

    • Conference & Workshop Papers

    (Select year: 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2000 1999 )

    2013

  • Kyungmin Bae, Santiago Escobar, and José Meseguer.
    Abstract Logical Model Checking of Infinite-State Systems Using Narrowing.
    In proceedings of     24th International Conference on Rewriting Techniques and Applications,
    Lecture Notes in Computer Science, to appear 2013.
    © Springer-Verlag
    Available: Preliminary version

  • Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, and Ralf Sasse.
    Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis
    In proceedings of     CADE-24 - the 24th International Conference on Automated Deduction,
    Lecture Notes in Computer Science, to appear 2013.
    © Springer-Verlag
    Available: Preliminary version

    • 2012

  • Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, and Ralf Sasse.
    Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions
    In proceedings of     17th European Symposium on Research in Computer Security (ESORICS 2012).,
    Lecture Notes in Computer Science, volume 7459, pages 73-90, 2012.
    © Springer-Verlag
    Available: DOI

  • Serdar Erbatur, Santiago Escobar, and Paliath Narendran.
    Unification modulo a property of the El Gamal Encryption Scheme.
    In proceedings of     The International Workshop on Unification (UNIF 2012).
    Available: Preliminary version

    • 2011

  • Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, Jose Meseguer, Paliath Narendran and Ralf Sasse.
    Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis
    In proceedings of     The International Workshop on Unification (UNIF 2011).

  • Santiago Escobar, Deepak Kapur, Christophe Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, and Ralf Sasse.
    Protocol Analysis in Maude-NPA Using Unification Modulo Homomorphic Encryption
    In proceedings of 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'2011).
    © ACM Press
    Available: DOI

  • Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer and Carolyn Talcott.
    Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6 (system description)
    In proceedings of 22nd Rewriting Techniques and Applications (RTA'11).
    © LIPIcs-Leibniz International Proceedings in Informatics
    Available: DOI

  • Ralf Sasse, Santiago Escobar, Catherine Meadows, José Meseguer.
    Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA.
    In proceedings of 6th International Workshop on Security and Trust Management (STM'10),
    Lecture Notes in Computer Science, Volume 6710, pages 163-178, 2011.
    © Springer-Verlag
    Available: DOI PDF

    • 2010

  • Mauricio Alba-Castro, María Alpuente, Santiago Escobar.
    Confidentiality Certification of source Java code in JavaPCC.
    In proceedings of 10th International Workshop on Automated Verification of Critical Systems (AVOCS 2010).

  • Mauricio Alba-Castro, María Alpuente, Santiago Escobar.
    Approximating Non-interference and Erasure in Rewriting Logic.
    In proceedings of 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010).
    © IEEE Press

  • M. Alba-Castro, M. Alpuente, S. Escobar.
    Abstract Certification of Global Non-Interference in Rewriting Logic (Invited paper)
    In proceedings of Software Technologies Concertation on Formal Methods for Components and Objects (FMCO'09),
    Lecture Notes in Computer Science, Volume 6286, pages 105-124, 2010.
    © Springer-Verlag
    Available: DOI PDF CoRR with proofs

  • S. Escobar, C. Meadows, J. Meseguer S. Santiago
    Sequential Protocol Composition in Maude-NPA
    In proceedings of European Symposium on Research in Computer Security (ESORICS 2010),
    LNCS 6345, pages 303-318. 2010.
    © Springer-Verlag
    Available: DOI

  • Santiago Escobar, José Meseguer, Ralf Sasse.
    Folding Variant Narrowing and Optimal Variant Termination
    In proceedings of 8th International Workshop on Rewriting Logic and its Applications (WRLA 2010),
    LNCS 6381, pages 52-68. 2010.
    © Springer-Verlag
    Available: PDF DOI

    • 2009

  • S. Santiago, C. Talcott, S. Escobar, C. Meadows, J. Meseguer
    A Graphical User Interface for Maude-NPA.
    In IX Jornadas sobre Programación y Lenguajes (PROLE 2009).
    Electronic Notes in Theoretical Computer Science, volume 258, number 1, pages 3-20. Elsevier, 2009.
    © Elsevier
    • Available: DOI

  • Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Pat Lincoln, Narciso Marti-Oliet, José Meseguer and Carolyn Talcott.
    Unification and Narrowing in Maude 2.4 (system description)
    In proceedings of 20th International Conference on Rewriting Techniques and Applications (RTA'09), LNCS 5595, pages 380-390, 2009.
    © Springer-Verlag
    Available: DOI PDF

    • 2008

  • Santiago Escobar, Catherine Meadows, José Meseguer.
    The Maude-NRL Protocol Analyzer (short paper)
    In proceedings of 15th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR08), Doha, Qatar.

  • María Alpuente, Santiago Escobar, José Iborra.
    Termination of Narrowing using Dependency Pairs
    In proceedings of 24th International Conference on Logic Programming (ICLP 2008),
    LNCS 5366, pages 317-331, 2008.
    © Springer-Verlag
    Available: DOI PDF

  • Mauricio Alba-Castro, María Alpuente, Santiago Escobar.
    Automated Certification of Non-Interference in Rewriting Logic
    In proceedings of 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008),
    LNCS 5596, pages 182-198, 2008.
    © Springer-Verlag
    Available: DOI PDF

  • Santiago Escobar, Catherine Meadows, José Meseguer.
    State Space Reduction in the Maude-NRL Protocol Analyzer
    In proceedings of 13th European Symposium on Research in Computer Security (ESORICS08),
    LNCS 5283, pages 548-562, 2008.
    © Springer-Verlag
    Available: DOI PDF

  • María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda.
    A Modular Equational Generalization Algorithm
    In proceedings of 18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR08),
    LNCS 5438, pages 24-39, 2008.
    © Springer-Verlag
    Available: DOI PDF

  • María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda.
    Order-Sorted Generalization
    In proceedings of 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08),
    Electronic Notes in Theoretical Computer Science, volume 246, pages 27-38, 2008.
    © Elsevier
    Available: DOI link PDF

  • Santiago Escobar, José Meseguer
    Symbolic Model Checking of Infinite-State Systems Using Narrowing
    In proceedings of 8th Jornadas sobre Programación y Lenguajes (PROLE'08),
    short paper, 2008

  • Mauricio Alba-Castro, María Alpuente, Santiago Escobar, Pedro Ojeda and Daniel Romero
    A Tool for Automated Certification of Java Source Code in Maude
    In proceedings of 8th Jornadas sobre Programación y Lenguajes (PROLE'08),
    Electronic Notes in Theoretical Computer Science, volume 248, pages 19-29, 2008.
    © Elsevier
    Available: DOI link PDF

  • Santiago Escobar, José Meseguer, Ralf Sasse.
    Effectively Checking or Disproving the Finite Variant Property
    In proceedings of 19th International Conference on Rewriting Techniques and Applications (RTA 2008),
    LNCS 5117, pages 79-93. 2008.
    © Springer-Verlag
    Available: DOI PDF

  • María Alpuente, Santiago Escobar, José Iborra.
    Modular Termination of Basic Narrowing
    In proceedings of 19th International Conference on Rewriting Techniques and Applications (RTA 2008),
    LNCS 5117, pages 1-16. 2008.
    © Springer-Verlag
    Available: DOI PDF

  • Santiago Escobar, Catherine Meadows, José Meseguer.
    The Maude-NRL Protocol Analyzer (short paper)
    In LICS-CSF short papers 21st IEEE Computer Security Foundations Symposium (CSF) and 23rd IEEE Symposium on Logic in Computer Science (LICS). , Pittsburgh, USA.

  • Mike Katelman, José Meseguer, Santiago Escobar.
    Directed-Logical Testing for Functional Verification of Microprocessors
    In proceedings of 6th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2008),
    pages 89-100, ISBN 978-1-4244-2417-7. ACM Press, 2008
    © ACM Press
    Available: DOI

  • Santiago Escobar, José Meseguer, Ralf Sasse.
    Equational Unification by Variant Narrowing
    In proceedings of 22nd International Workshop on Unification,
    short paper, 2008

  • Santiago Escobar, José Meseguer, Ralf Sasse.
    Variant Narrowing and Equational Unification
    In proceedings of 7th International Workshop on Rewriting Logic and its Applications (WRLA08),
    Electronic Notes in Theoretical Computer Science, volume 238, issue 3, pages 103-119, 2009
    © Elsevier
    Available: DOI PDF

    • 2007

  • Santiago Escobar, Joe Hendrix, Catherine Meadows, José Meseguer.
    Diffie-Hellman Cryptographic Reasoning in the Maude-NRL Protocol Analyzer
    In informal proceedings of 2nd International Workshop on Security and Rewriting Techniques (SecReT 2007), 2007.
    Available: PDF

  • Mauricio Alba-Castro, María Alpuente, Santiago Escobar.
    Automatic Certification of Java Source Code in Rewriting Logic
    In proceedings of 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007),
    LNCS 4916, pages 200-217, 2008.
    © Springer-Verlag
    Available: DOI

  • Santiago Escobar, José Meseguer
    Symbolic Model Checking of Infinite-State Systems Using Narrowing
    In proceedings of 18th International Conference on Rewriting Techniques and Applications (RTA 2007),
    LNCS volume 4533, pages 153-168, 2007.
    © Springer-Verlag
    Available: PDF

  • Santiago Escobar, Catherine Meadows, José Meseguer.
    Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer
    In proceedings of 1st International Workshop on Security and Rewriting Techniques (SecReT 2006),
    Electronic Notes in Theoretical Computer Science, volume 171, pages 23-36, 2007.
    © Elsevier
    Available: DOI link PDF

    • 2006

  • Santiago Escobar, José Meseguer, Prasanna Thati.
    Narrowing and Rewriting Logic: from Foundations to Applications (invited paper)
    In proceedings of 15th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'06),
    Electronic Notes in Theoretical Computer Science, volume 177, pages 5-33, 2007.
    © Elsevier
    Available: DOI link PDF

  • Santiago Escobar, Catherine Meadows, José Meseguer.
    The Maude-NRL Protocol Analyzer: A Rewriting-Based Inference System for Equational Cryptographic Reasoning (extended abstract)
    In proceedings of Midwest Security Workshop (MSW'2006), Urbana, IL, USA. 2006.

  • Santiago Escobar, Catherine Meadows, José Meseguer.
    The Maude-NRL Protocol Analyzer: A Rewriting-Based Inference System for Equational Cryptographic Reasoning (extended abstract)
    In proceedings of VI Jornadas sobre Programación y Lenguajes (PROLE'2006), Sitges, Spain. 2006.

    • 2005

  • Santiago Escobar, Catherine Meadows, José Meseguer.
    A Rewriting-Based Inference System for the NRL Protocol Analyzer: Grammar Generation
    In proceedings of 3rd ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE'05),
    pages 1-12, 2005.
    © ACM Press
    Superseded by this journal publication.
    Available: DOI link PDF

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    A Note on Syntactic Annotations for Narrowing
    In proceedings of Quintas Jornadas sobre Programación y Lenguajes, PROLE'05, 2005.
    © Thomson
    Available: Abstract PDF

  • Santiago Escobar, José Meseguer, Prasanna Thati.
    Natural Narrowing for General Term Rewriting Systems
    In proceedings of 16th International Conference on Rewriting Techniques and Applications (RTA 2005).
    LNCS 3467:279-293, 2005.
    © Springer-Verlag
    Available: DOI link PDF

  • Santiago Escobar, José Meseguer, Prasanna Thati.
    Natural Rewriting for General Term Rewriting Systems
    In proceedings of International Symposium on Logic Based Program Synthesis and Tranformation (LOPSTR 2004).
    LNCS 3573:101-116, 2005.
    © Springer-Verlag
    Available: DOI link PDF

  • Francisco Durán, Santiago Escobar, Salvador Lucas.
    On-demand Evaluation for Maude
    Proc. of 5th International Workshop on Rule-Based Programming, RULE'04.
    Electronic Notes in Theoretical Computer Science, 124:25-39, 2005.
    © Elsevier
    Available: DOI link PDF

  • Francisco Durán, Santiago Escobar, Salvador Lucas.
    New evaluation commands for Maude within Full Maude
    Proc. of 5th International Workshop on Rewriting Logic and its Applications, WRLA'04,
    Electronic Notes in Theoretical Computer Science, 117:263-284. 2005.
    © Elsevier
    Available: DOI link Abstract PDF

    • 2004

  • Francisco Durán, Santiago Escobar, Salvador Lucas.
    Towards (constructor) normal forms for Maude within Full Maude (extended abstract)
    In Proceedings of the IV Jornadas sobre Programación y Lenguajes (PROLE'04), pages 125-136, 2004.
    Available: PDF

  • Santiago Escobar, José Meseguer, Prasanna Thati.
    A General Natural Rewriting Strategy (extended abstract)
    In Proceedings of the IV Jornadas sobre Programación y Lenguajes (PROLE'04), pages 97-100, 2004.
    Available: PDF

  • Santiago Escobar, José Meseguer, Prasanna Thati.
    Natural Rewriting for General Term Rewriting Systems
    Pre-proceedings of International Symposium on Logic Based Program Synthesis and Tranformation (LOPSTR), 2004.
    Superseded by this LNCS publication

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    Correct and Complete (Positive) Strategy Annotations for OBJ
    4th Int'l Workshop on Rewriting Logic and its Applications (WRLA 2002), Pisa (Italy).
    Electronic Notes in Theoretical Computer Science, Vol. 71, 2004.
    © Elsevier

  • Santiago Escobar.
    Implementing Natural Rewriting and Narrowing Efficiently
    In Y. Kameyama and P. Stuckey, editors, Proc. of the 7th International Symposium on Functional and Logic Programming (FLOPS'2004).
    LNCS 2998, pages 147 - 162, 2004.
    © Springer-Verlag
    Available: Springer link / Abstract / Postscript / PDF

    • 2003

  • María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas.
    Abstract Correction of OBJ-like Programs
    In L. Palopoli, editor, Proc. of the APPIA-GULP-PRODE 2003 Joint Conference on Declarative Programming (AGP'03).
    2003.

  • Santiago Escobar.
    Refining Weakly Outermost-Needed Rewriting and Narrowing
    In Proc. of the Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'03), pages 113-123, 2003.
    ©     ACM Press
    Available: DOI link PDF BibTeX entry

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    On-Demand evaluation by program transformation
    In Proc. of the 4th International Workshop on Rule-Based Programming (RULE'03).
    Electronic Notes on Theoretical Computer Science, volume 86, issue 2. 2003
    © Elsevier
    Available: Abstract PDF

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    OnDemandOBJ: A Laboratory for Strategy Annotations
    In Proc. of the 4th International Workshop on Rule-Based Programming (RULE'03).
    Electronic Notes on Theoretical Computer Science, volume 86, issue 2. 2003
    © Elsevier
    Available: Abstract PDF

  • Santiago Escobar.
    Improving (Weakly) Outermost-Needed Narrowing: Natural Narrowing
    In G. Vidal, editor, Pre-proceedings of the 12th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'03).
    2003.
    Superseded by     this ACM publication.

  • María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas.
    Automated Correction of Functional Programs
    In G. Vidal, editor, Proceedings of the 12th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'03).
    Electronic Notes in Theoretical Computer Science, volume 86, issue 3. 2003.
    © Elsevier
    Available: Abstract PDF

  • María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas.
    Abstract Diagnosis of Functional Programs
    In M. Leuschel, editor, Proc. of Logic-Based Program Synthesis and Transformation (LOPSTR'02),
    LNCS 2664, pages 1-16, 2003.
    © Springer-Verlag
    Available: Abstract Postscript PDF

    • 2002

  • María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas.
    Redundancy of Arguments Reduced to Induction
    In Proc. of the 11th International Workshop on Functional and (constraint) Logic Programming (WFLP'2002), Grado (Italy).
    Electronic Notes in Theoretical Computer Science, Vol. 76.
    © Elsevier
    Available: Abstract Postscript PDF

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    A transformation for implementing on-demand strategy annotations
    Proc. of 3rd International Workshop on the Implementation of Logics. Tbilisi, Georgia, October 2002.
    Superseded by this ENTCS publication

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    A program transformation for implementing on-demand strategy annotations
    Proc. of 14th International Workshop on the Implementation of Functional Languages, IFL'02, Madrid (Spain).
    Superseded by this ENTCS publication

  • María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas.
    A Declarative Debugging Scheme for Functional Programs
    Proc. of the 12th Int'l Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR 2002), Madrid (Spain).
    Superseded by this LNCS publication

  • María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas.
    Improving On-demand Rewriting Annotations
    9th Int'l Conf. on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2002), Tbilisi (Georgia),
    LNAI 2514, pages 1-18, Springer-Verlag, Berlin, 2002
    © Springer-Verlag
    Available: Abstract Postscript PDF

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    Correct and Complete (Positive) Strategy Annotations for OBJ
    In Proc. of the 4th Int'l Workshop on Rewriting Logic and its Applications (WRLA 2002), Pisa (Italy).
    Superseded by this ENTCS publication

  • María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas.
    Redundancy of Arguments Reduced to Induction
    In Proc. of the 11th International Workshop on Functional and (constraint) Logic Programming (WFLP'2002), Grado (Italy).
    Research Report UDMI/18/2002/RR, pages 255-268. July 2002.
    Superseded by this ENTCS publication

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    Removing Redundant Arguments of Functions
    In Proc. of the 9th International Conference on Algebraic Methodology And Software Technology (AMAST'2002),
    LNCS 2422, pages 117-131, 2002.
    © Springer-Verlag
    Superseded by this journal publication

    • 2000

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    Redundancy Analyses in Term Rewriting
    In Proc. of the 9th Int'l Workshop on Functional and Logic Programming (WFLP2000),
    SPUPV 2000.2039, pages 309-323. Benicassim (Spain), September 2000.
    Available: Abstract PostScript BibTeX entry

    • 1999

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    UPV-Curry: An Incremental Curry Interpreter
    In J. Pavelka, G. Tel, and M. Bartosek, editors, Proc. of 26th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'99,
    LNCS 1725, pages 331-339, Milovy, Czech Republic, November 1999.
    © Springer-Verlag
    Available: Abstract / DVI / PostScript / BibTeX entry

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    Incremental Needed Narrowing
    In P. Tarau and K. Sagonas, editors, Proc of the Int'l Workshop on Implementation of Declarative Languages, IDL'99, 1999.
    Available: Abstract / DVI / PostScript / HTML / BibTeX entry

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    An Incremental Needed Narrowing Calculus for Curry
    In M.C. Meo and M. Vilares, editors, Proc of the 1999 Joint Conference on Declarative Programming, AGP'99, L'Acquila (Italy), 1999.
    Available: BibTeX entry

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    An Incremental Curry Interpreter
    In Proc. of the 8th International Workshop on Functional and Logic Programming WFLP'99, Grenoble (France), 1999.
    Available: BibTeX entry

    • Technical Reports

    2007

  • Santiago Escobar, José Meseguer
    Symbolic Model Checking of Infinite-State Systems Using Narrowing
    Technical Report DSIC-II/05/07, 24 pages,
    Departamento de Sistemas Informáticos y Computacóón, UPV, 2007.
    Available: PDF

    • 2004

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    Removing Redundant Arguments Automatically
    Technical Report DSIC-II/1/04, 39 pages,
    Departamento de Sistemas Informáticos y Computacóón, UPV, 2004.
    Superseded by this journal publication

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    On-demand Evaluation by Program Transformation
    Technical Report DSIC-II/2/04, 38 pages,
    Departamento de Sistemas Informáticos y Computación, UPV, 2004.
    Available: PDF

    • 2003

  • María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas.
    On-Demand Strategy Annotations Revisited
    Technical Report DSIC-II/18/03, 51 pages,
    Departamento de Sistemas Informáticos y Computación, UPV, 2003.
    Available: PDF

    • 2002

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    Correct and complete (positive) strategy annotatios for OBJ
    Technical report DSIC, DSIC-II/9/02, 2002, 19 pp.
    Superseded by this ENTCS publication

    • 1999

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    UPV-Curry: An Incremental Curry Interpreter with Polymorphic Types and Monadic I/O.
    Technical report DSIC-II/12/99, UPV, 1999.
    Available: Abstract / DVI / PostScript / BibTeX entry.

    • 1998

  • Santiago Escobar, María Alpuente, Salvador Lucas.
    UPV-Curry User's Manual.
    Technical report DSIC-II/38/98, UPV, 1998.
    Available: Abstract / DVI / PostScript / BibTeX entry.

  • Santiago Escobar, María Alpuente, Salvador Lucas.
    Modelización conceptual declarativa en un lenguaje lógico-funcional avanzado.
    Technical report DSIC-II/39/98, UPV, 1998.
    Available: Abstract / DVI / PostScript / BibTeX entry.

  • Santiago Escobar, María Alpuente, Salvador Lucas, Germán Vidal.
    UPV-Curry: Un intérprete de Curry con tipos polimórficos y E/S monádica.
    Technical report DSIC-II/40/98, UPV, 1998.
    Available: Abstract / DVI / PostScript / BibTeX entry.

    • PhD Thesis

  • Santiago Escobar.
    Strategies and Analysis Techniques for Functional Program Optimization
    Ph.D. Thesis, Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, October 2003. (In English)
    PhD advisors:     María Alpuente and Salvador Lucas.
    Examiners: Hélène Kirchner, Francisco López-Fraguas, José Meseguer, Isidro Ramos, and Albert Rubio.
    Available: Abstract / Gzipped PostScript / PDF / BibTeX entry.
    • Last modified: Wed Apr 17 12:20:19 CEST 2013