Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Santiago
    Last name: Escobar
    DBLP: e/SEscobar
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 89 of 89  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Santiago Escobar.
    Rewriting Logic and its Applications (extended selected papers from WRLA 2014).
    J. Log. Algebr. Meth. Program. 2017, Volume 86 (0) 2017
    Journal article
    Horatiu Cirstea, Santiago Escobar.
    Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Julia Sapiña.
    Inspecting Maude Variants with GLINTS.
    CoRR 2017, Volume 0 (0) 2017
    Journal article
    Santiago Escobar.
    Rewriting logic and its applications (extended selected papers from WRLA 2014).
    J. Log. Algebr. Meth. Program. 2016, Volume 85 (0) 2016
    Conference paper
    Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer.
    Effective Sequential Protocol Composition in Maude-NPA.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott.
    Built-in Variant Generation and Unification, and Their Applications in Maude 2.7.
    Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings 2016 (0) 2016
    Conference paper
    María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer.
    Partial Evaluation of Order-sorted Equational Programs modulo Axioms.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago.
    Strand spaces with choice via a process algebra semantics.
    Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016 2016 (0) 2016
    Conference paper
    María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer.
    Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms.
    Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers 2017 (0) 2016
    Conference paper
    Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott.
    Two Decades of Maude.
    Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday 2015 (0) 2015
    Conference paper
    Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer.
    Analysis of the PKCS#11 API Using the Maude-NPA Tool.
    Security Standardisation Research - Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings 2015 (0) 2015
    Journal article
    Andrew Cholewa, Santiago Escobar, José Meseguer.
    Constrained narrowing for conditional equational theories modulo axioms.
    Sci. Comput. Program. 2015, Volume 112 (0) 2015
    Conference paper
    Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago.
    Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories.
    Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday 2015 (0) 2015
    Conference paper
    Santiago Escobar.
    Functional Logic Programming in Maude.
    Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi 2014 (0) 2014
    Conference paper
    Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer.
    A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA.
    Security and Trust Management - 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014. Proceedings 2014 (0) 2014
    Conference paper
    María Alpuente, Santiago Escobar, Javier Espert, José Meseguer.
    ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance.
    Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings 2014 (0) 2014
    Journal article
    María Alpuente, Santiago Escobar, Javier Espert, José Meseguer.
    A modular order-sorted equational generalization algorithm.
    Inf. Comput. 2014, Volume 235 (0) 2014
    Journal article
    Santiago Escobar, Moreno Falaschi.
    Functional and (Constraint) Logic Programming.
    Inf. Comput. 2014, Volume 235 (0) 2014
    Journal article
    Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago.
    State space reduction in the Maude-NRL Protocol Analyzer.
    Inf. Comput. 2014, Volume 238 (0) 2014
    Conference paper
    Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago.
    A rewriting-based forwards semantics for Maude-NPA.
    Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, HotSoS 2014, Raleigh, NC, USA, April 08 - 09, 2014 2014 (0) 2014
    Conference paper
    Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Paliath Narendran.
    Theories of Homomorphic Encryption, Unification, and the Finite Variant Property.
    Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014 2014 (0) 2014
    Conference paper
    Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer.
    Analysis of the IBM CCA Security API Protocols in Maude-NPA.
    Security Standardisation Research - First International Conference, SSR 2014, London, UK, December 16-17, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse.
    Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.
    Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Kyungmin Bae, Santiago Escobar, José Meseguer.
    Abstract Logical Model Checking of Infinite-State Systems Using Narrowing.
    24th International Conference on Rewriting Techniques and Applications, RTA 2013, June 24-26, 2013, Eindhoven, The Netherlands 2013 (0) 2013
    Conference paper
    Santiago Escobar.
    Unification and Anti-unification modulo Equational Theories.
    27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013 2013 (0) 2013
    Conference paper
    María Alpuente, Santiago Escobar, Javier Espert.
    Detecting Modular ACU Structural Symmetries.
    27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013 2013 (0) 2013
    Conference paper
    Elena Lloret, Santiago Escobar, Manuel Palomar, Isidro Ramos.
    Incremental and Adaptive Software Systems Development of Natural Language Applications.
    Information System Development - Improving Enterprise Communication, [Proceedings of the 22nd International Conference on Information Systems Development, ISD 2013, Seville, Spain] 2014 (0) 2013
    Journal article
    Santiago Escobar.
    Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming
    CoRR 2012, Volume 0 (0) 2012
    Conference paper
    Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse.
    Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions.
    Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Santiago Escobar, Ralf Sasse, José Meseguer.
    Folding variant narrowing and optimal variant termination.
    J. Log. Algebr. Program. 2012, Volume 81 (0) 2012
    Conference paper
    Serdar Erbatur, Santiago Escobar, Paliath Narendran.
    The use of types in designing unification algorithms: two case studies.
    UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, Manchester, UK, July 1, 2012 2014 (0) 2012
    Conference paper
    Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott.
    Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6.
    Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia 2011 (0) 2011
    Journal article
    Santiago Escobar, Catherine A. Meadows, José Meseguer.
    State Space Reduction in the Maude-NRL Protocol Analyzer
    CoRR 2011, Volume 0 (0) 2011
    Conference paper
    Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Ralf Sasse.
    Protocol analysis in Maude-NPA using unification modulo homomorphic encryption.
    Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark 2011 (0) 2011
    Conference paper
    María Alpuente, Santiago Escobar, José Iborra.
    Modular termination of basic narrowing and equational unification.
    Logic Journal of the IGPL 2011, Volume 19 (0) 2011
    Journal article
    Mauricio Alba-Castro, María Alpuente, Santiago Escobar.
    Abstract Certification of Global Non-Interference in Rewriting Logic
    CoRR 2010, Volume 0 (0) 2010
    Conference paper
    Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago.
    Sequential Protocol Composition in Maude-NPA.
    Computer Security - ESORICS 2010, 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings 2010 (0) 2010
    Conference paper
    María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Joé Iborra.
    A compact fixpoint semantics for term rewriting systems.
    Theor. Comput. Sci. 2010, Volume 411 (0) 2010
    Conference paper
    Santiago Escobar, Ralf Sasse, José Meseguer.
    Folding Variant Narrowing and Optimal Variant Termination.
    Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers 2010 (0) 2010
    Conference paper
    Mauricio Alba-Castro, María Alpuente, Santiago Escobar.
    Approximating Non-interference and Erasure in Rewriting Logic.
    12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010 2010 (0) 2010
    Conference paper
    Ralf Sasse, Santiago Escobar, Catherine A. Meadows, José Meseguer.
    Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA.
    Security and Trust Management - 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers 2011 (0) 2010
    Conference paper
    María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas.
    On-demand strategy annotations revisited: An improved on-demand evaluation strategy.
    Theor. Comput. Sci. 2010, Volume 411 (0) 2010
    Conference paper
    Mauricio Alba-Castro, María Alpuente, Santiago Escobar.
    Abstract Certification of Global Non-interference in Rewriting Logic.
    Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers 2010 (0) 2009
    Conference paper
    Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott.
    Unification and Narrowing in Maude 2.4.
    Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings 2009 (0) 2009
    Conference paper
    Demis Ballis, Santiago Escobar.
    Preface.
    Electr. Notes Theor. Comput. Sci. 2009, Volume 235 (0) 2009
    Conference paper
    Daniel J. Dougherty, Santiago Escobar.
    Preface.
    Electr. Notes Theor. Comput. Sci. 2009, Volume 234 (0) 2009
    Conference paper
    Santiago Escobar, José Meseguer, Ralf Sasse.
    Variant Narrowing and Equational Unification.
    Electr. Notes Theor. Comput. Sci. 2009, Volume 238 (0) 2009
    Conference paper
    María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda.
    Order-Sorted Generalization.
    Electr. Notes Theor. Comput. Sci. 2009, Volume 246 (0) 2009
    Conference paper
    Mauricio Alba-Castro, María Alpuente, Santiago Escobar, Pedro Ojeda, Daniel Romero.
    A Tool for Automated Certification of Java Source Code in Maude.
    Electr. Notes Theor. Comput. Sci. 2009, Volume 248 (0) 2009
    Conference paper
    María Alpuente, Santiago Escobar, José Iborra.
    Termination of narrowing revisited.
    Theor. Comput. Sci. 2009, Volume 410 (0) 2009
    Journal article
    Sonia Santiago, Carolyn L. Talcott, Santiago Escobar, Catherine A. Meadows, José Meseguer.
    A Graphical User Interface for Maude-NPA.
    Electr. Notes Theor. Comput. Sci. 2009, Volume 258 (0) 2009
    Conference paper
    Santiago Escobar, Catherine A. Meadows, José Meseguer.
    State Space Reduction in the Maude-NRL Protocol Analyzer.
    Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings 2008 (0) 2008
    Conference paper
    María Alpuente, Santiago Escobar, José Iborra.
    Termination of Narrowing Using Dependency Pairs.
    Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings 2008 (0) 2008
    Conference paper
    María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda.
    A Modular Equational Generalization Algorithm.
    Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers 2009 (0) 2008
    Conference paper
    Michael Katelman, José Meseguer, Santiago Escobar.
    Directed-Logical Testing for Functional Verification of Microprocessors.
    6th ACM IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), June 5-7, 2008, Anaheim, CA, USA 2008 (0) 2008
    Conference paper
    María Alpuente, Santiago Escobar, José Iborra.
    Modular Termination of Basic Narrowing.
    Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings 2008 (0) 2008
    Conference paper
    Santiago Escobar, José Meseguer, Ralf Sasse.
    Effectively Checking the Finite Variant Property.
    Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings 2008 (0) 2008
    Conference paper
    Mauricio Alba-Castro, María Alpuente, Santiago Escobar.
    Automated Certification of Non-Interference in Rewriting Logic.
    Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers 2009 (0) 2008
    Conference paper
    Demis Ballis, Santiago Escobar, Massimo Marchiori.
    Preface.
    Electr. Notes Theor. Comput. Sci. 2008, Volume 200 (0) 2008
    Conference paper
    Santiago Escobar, Catherine A. Meadows, José Meseguer.
    Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties.
    Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 2009 (0) 2007
    Conference paper
    Santiago Escobar, José Meseguer.
    Symbolic Model Checking of Infinite-State Systems Using Narrowing.
    Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Mauricio Alba-Castro, María Alpuente, Santiago Escobar.
    Automatic Certification of Java Source Code in Rewriting Logic.
    Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers 2008 (0) 2007
    Conference paper
    Santiago Escobar, José Meseguer, Prasanna Thati.
    Narrowing and Rewriting Logic: from Foundations to Applications.
    Electr. Notes Theor. Comput. Sci. 2007, Volume 177 (0) 2007
    Conference paper
    Santiago Escobar, Catherine A. Meadows, José Meseguer.
    Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer.
    Electr. Notes Theor. Comput. Sci. 2007, Volume 171 (0) 2007
    Conference paper
    María Alpuente, Santiago Escobar, Salvador Lucas.
    Removing redundant arguments automatically.
    TPLP 2007, Volume 7 (0) 2007
    Conference paper
    María Alpuente, Santiago Escobar, Salvador Lucas.
    Removing Redundant Arguments Automatically
    CoRR 2006, Volume 0 (0) 2006
    Conference paper
    María Alpuente, Santiago Escobar, Moreno Falaschi.
    Preface.
    Electr. Notes Theor. Comput. Sci. 2006, Volume 157 (0) 2006
    Conference paper
    Santiago Escobar, Catherine A. Meadows, José Meseguer.
    A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties.
    Theor. Comput. Sci. 2006, Volume 367 (0) 2006
    Conference paper
    Santiago Escobar, Catherine A. Meadows, José Meseguer.
    A rewriting-based inference system for the NRL protocol analyzer: grammar generation.
    Proceedings of the 2005 ACM workshop on Formal methods in security engineering, FMSE 2005, Fairfax, VA, USA, November 11, 2005 2005 (0) 2005
    Conference paper
    Santiago Escobar, José Meseguer, Prasanna Thati.
    Natural Narrowing for General Term Rewriting Systems.
    Term Rewriting and Applications, 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings 2005 (0) 2005
    Conference paper
    María Alpuente, Santiago Escobar, Moreno Falaschi.
    Preface.
    First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain 2005 (0) 2005
    Conference paper
    Francisco Durán, Santiago Escobar, Salvador Lucas.
    New Evaluation Commands for Maude Within Full Maude.
    Electr. Notes Theor. Comput. Sci. 2005, Volume 117 (0) 2005
    Conference paper
    Francisco Durán, Santiago Escobar, Salvador Lucas.
    On-demand Evaluation for Maude.
    Electr. Notes Theor. Comput. Sci. 2005, Volume 124 (0) 2005
    Conference paper
    Santiago Escobar.
    Implementing Natural Rewriting and Narrowing Efficiently.
    Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Santiago Escobar, José Meseguer, Prasanna Thati.
    Natural Rewriting for General Term Rewriting Systems.
    Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers 2005 (0) 2004
    Conference paper
    Santiago Escobar.
    Thesis: Strategies and analysis techniques in functional program optimization.
    AI Commun. 2004, Volume 17 (0) 2004
    Conference paper
    María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas.
    Abstract Correction of OBJ-like Programs.
    2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003 2003 (0) 2003
    Conference paper
    Santiago Escobar.
    Refining weakly outermost-needed rewriting and narrowing.
    Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden 2003 (0) 2003
    Conference paper
    María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas.
    Abstract correction of first-order functional programs.
    Electr. Notes Theor. Comput. Sci. 2003, Volume 86 (0) 2003
    Conference paper
    María Alpuente, Santiago Escobar, Salvador Lucas.
    OnDemandOBJ: A Laboratory for Strategy Annotations.
    Electr. Notes Theor. Comput. Sci. 2003, Volume 86 (0) 2003
    Conference paper
    María Alpuente, Santiago Escobar, Salvador Lucas.
    On-demand Evaluation by Program Transformation.
    Electr. Notes Theor. Comput. Sci. 2003, Volume 86 (0) 2003
    Conference paper
    María Alpuente, Santiago Escobar, Salvador Lucas.
    Removing Redundant Arguments of Functions.
    Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings 2002 (0) 2002
    Conference paper
    María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas.
    Abstract Diagnosis of Functional Programs.
    Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers 2003 (0) 2002
    Conference paper
    María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas.
    Improving On-Demand Strategy Annotations.
    Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings 2002 (0) 2002
    Conference paper
    María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas.
    Redundancy of Arguments Reduced to Induction.
    Electr. Notes Theor. Comput. Sci. 2002, Volume 76 (0) 2002
    Conference paper
    María Alpuente, Santiago Escobar, Salvador Lucas.
    Correct and Complete (Positive) Strategy Annotations for OBJ.
    Electr. Notes Theor. Comput. Sci. 2002, Volume 71 (0) 2002
    Conference paper
    María Alpuente, Santiago Escobar, Salvador Lucas.
    Redundancy Analyses in Term Rewriting.
    9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000 2000 (0) 2000
    Conference paper
    María Alpuente, Salvador Lucas, Santiago Escobar.
    An Incremental Needed Narrowing Calculus for Curry.
    1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, September 6-9, 1999 1999 (0) 1999
    Conference paper
    María Alpuente, Santiago Escobar, Salvador Lucas.
    UPV-CURRY: An Incremental CURRY Interpreter.
    SOFSEM '99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999, Proceedings 1999 (0) 1999
    Show item 1 to 89 of 89  

    Your query returned 89 matches in the database.