The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "María Alpuente" ( http://dblp.L3S.de/Authors/María_Alpuente )

URL (Homepage):  http://www.dsic.upv.es/users/elp/alpuente.html  Author page on DBLP  Author page in RDF  Community of María Alpuente in ASPL-2

Publication years (Num. hits)
1991-1996 (17) 1997-2000 (17) 2001-2004 (19) 2005-2007 (15) 2008-2009 (18) 2010-2011 (16) 2012-2015 (16) 2016-2019 (16)
Publication types (Num. hits)
article(56) incollection(1) inproceedings(69) proceedings(8)
Venues (Conferences, Journals, ...)
Electr. Notes Theor. Comput. S...(16) CoRR(10) Theor. Comput. Sci.(8) LOPSTR(7) APPIA-GULP-PRODE(5) TPLP(5) FMICS(4) ESOP(3) JELIA(3) LPAR(3) PEPM(3) PLILP(3) Sci. Comput. Program.(3) WFLP(3) WWV(3) FM(2) More (+10 of total 64)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 20 occurrences of 17 keywords

Results
Found 135 publication records. Showing 134 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña Symbolic Analysis of Maude Theories with Narval. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1María Alpuente, Demis Ballis, Julia Sapiña Static correction of Maude programs with assertions. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Julia Sapiña, Demis Ballis Symbolic Analysis of Maude Theories with Narval. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1María Alpuente, Demis Ballis, Julia Sapiña Inferring Safe Maude Programs with ÁTAME. Search on Bibsonomy ICMS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Julia Sapiña Inspecting Maude Variants with GLINTS. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1María Alpuente, Santiago Escobar, Julia Sapiña, Angel Cuenca-Ortega Inspecting Maude variants with GLINTS. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña Debugging Maude programs via runtime assertion checking and trace slicing. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña Assertion-based Analysis via Slicing with ABETS (System Description). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer Partial Evaluation of Order-sorted Equational Programs modulo Axioms. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1María Alpuente, Daniel Pardo 0002, Alicia Villanueva Symbolic Abstract Contract Synthesis in a Rewriting Framework. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1María Alpuente, Francisco Frechina, Julia Sapiña, Demis Ballis Assertion-based analysis via slicing with ABETS. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms. Search on Bibsonomy LOPSTR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1María Alpuente, Daniel Pardo 0002, Alicia Villanueva Symbolic Abstract Contract Synthesis in a Rewriting Framework. Search on Bibsonomy LOPSTR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1María Alpuente, Daniel Pardo 0002, Alicia Villanueva Automatic Inference of Specifications in the K Framework. Search on Bibsonomy PROLE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña Exploring conditional rewriting logic computations. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis. Search on Bibsonomy Logic, Rewriting, and Concurrency The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Daniel Romero 0001 A rewriting logic approach to the formal specification and verification of web applications. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero 0001 Using conditional trace slicing for improving Maude programs. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Javier Espert, José Meseguer A modular order-sorted equational generalization algorithm. Search on Bibsonomy Inf. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way). Search on Bibsonomy Specification, Algebra, and Software The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Javier Espert, José Meseguer ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Moreno Falaschi, Francisco Frechina, Daniel Romero 0001 Rewriting-based repairing strategies for XML repositories. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1María Alpuente, Christophe Joubert, Stefan Kowalewski, Marco Roveri Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1María Alpuente, Marco A. Feliú, Alicia Villanueva Automatic inference of specifications using matching logic. Search on Bibsonomy PEPM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña Parametric Exploration of Rewriting Logic Computations. Search on Bibsonomy SCSS The full citation details ... 2013 DBLP  BibTeX  RDF
1María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne. Search on Bibsonomy ESOP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Javier Espert Detecting Modular ACU Structural Symmetries. Search on Bibsonomy UNIF@RTA/TLCA The full citation details ... 2013 DBLP  BibTeX  RDF
1María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero 0001 Backward Trace Slicing for Conditional Rewrite Theories. Search on Bibsonomy LPAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero 0001 Julienne: A Trace Slicer for Conditional Rewrite Theories. Search on Bibsonomy FM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Javier Espert, Daniel Romero 0001 Dynamic Backward Slicing of Rewriting Logic Computations Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1María Alpuente, Demis Ballis, Javier Espert, Francisco Frechina, Daniel Romero 0001 Debugging of Web Applications with Web-TLR Search on Bibsonomy WWV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, José Iborra Modular termination of basic narrowing and equational unification. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Javier Espert, Daniel Romero 0001 Backward Trace Slicing for Rewriting Logic Theories. Search on Bibsonomy CADE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1María Alpuente (eds.) Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers Search on Bibsonomy LOPSTR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra A compact fixpoint semantics for term rewriting systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi An integrated framework for the diagnosis and correction of rule-based programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas On-demand strategy annotations revisited: An improved on-demand evaluation strategy. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mauricio Alba-Castro, María Alpuente, Santiago Escobar Abstract Certification of Global Non-Interference in Rewriting Logic Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1María Alpuente, Demis Ballis, Moreno Falaschi Transformation and Debugging of Functional Logic Programs. Search on Bibsonomy 25 Years GULP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi A fold/unfold transformation framework for rewrite theories extended to CCT. Search on Bibsonomy PEPM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF code carrying theory, fold/unfold transformation, rewriting logic
1María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva Datalog-Based Program Analysis with BES and RWL. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Javier Espert, Daniel Romero 0001 Model-Checking Web Applications with Web-TLR. Search on Bibsonomy ATVA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1María Alpuente, Daniel Romero 0001 A Tool for Computing the Visual Similarity of Web Pages. Search on Bibsonomy SAINT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Web page comparison, Web document clustering, tree edit distance, visual similarity
1Mauricio Alba-Castro, María Alpuente, Santiago Escobar Approximating Non-interference and Erasure in Rewriting Logic. Search on Bibsonomy SYNASC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1María Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis Completeness of Unfolding for Rewriting Logic Theories. Search on Bibsonomy SYNASC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1María Alpuente, Daniel Romero 0001 A Visual Technique for Web Pages Comparison. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mauricio Alba-Castro, María Alpuente, Santiago Escobar, Pedro Ojeda, Daniel Romero 0001 A Tool for Automated Certification of Java Source Code in Maude. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda Order-Sorted Generalization. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, José Iborra Termination of narrowing revisited. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Daniel Romero 0001 Specification and Verification of Web Applications in Rewriting Logic. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1María Alpuente, Byron Cook, Christophe Joubert (eds.) Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings Search on Bibsonomy FMICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mauricio Alba-Castro, María Alpuente, Santiago Escobar Abstract Certification of Global Non-interference in Rewriting Logic. Search on Bibsonomy FMCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva Defining Datalog in Rewriting Logic. Search on Bibsonomy LOPSTR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1María Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi Semantic Verification of Web System Contents. Search on Bibsonomy ER Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, José Iborra Termination of Narrowing Using Dependency Pairs. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1María Alpuente, Pedro Ojeda, Daniel Romero 0001, Demis Ballis, Moreno Falaschi An Abstract Generic Framework for Web Site Verification. Search on Bibsonomy SAINT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Abstrac interpretation, web verification, rewriting
1María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva Using Datalog and Boolean Equation Systems for Program Analysis. Search on Bibsonomy FMICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF boolean equation system, demand-driven evaluation, program analysis, Datalog
1Mauricio Alba-Castro, María Alpuente, Santiago Escobar Automated Certification of Non-Interference in Rewriting Logic. Search on Bibsonomy FMICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1María Alpuente, Germán Vidal (eds.) Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings Search on Bibsonomy SAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, José Iborra Modular Termination of Basic Narrowing. Search on Bibsonomy RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda A Modular Equational Generalization Algorithm. Search on Bibsonomy LOPSTR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1María Alpuente, Bernhard Gramlich, Alicia Villanueva A Framework for Timed Concurrent Constraint Programming with External Functions. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Salvador Lucas Removing redundant arguments automatically. Search on Bibsonomy TPLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Mauricio Alba-Castro, María Alpuente, Santiago Escobar Automatic Certification of Java Source Code in Rewriting Logic. Search on Bibsonomy FMICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero 0001 A Fast Algebraic Web Verification Service. Search on Bibsonomy RR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Moreno Falaschi Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva Verifying Real-Time Properties of tccp Programs. Search on Bibsonomy J. UCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Moreno Falaschi Rule-based verification of Web sites. Search on Bibsonomy STTT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Salvador Lucas Removing Redundant Arguments Automatically Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero 0001 A Semi-Automatic Methodology for Repairing FaultyWeb Sites. Search on Bibsonomy SEFM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva Abstract Model Checking of tccp programs. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Moreno Falaschi A Rewriting-based Framework for Web Sites Verification. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva A semantic framework for the abstract model checking of tccp programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal Specialization of functional logic programs based on needed narrowing. Search on Bibsonomy TPLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Moreno Falaschi (eds.) First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain Search on Bibsonomy WWV The full citation details ... 2005 DBLP  BibTeX  RDF
1María Alpuente, Santiago Escobar, Moreno Falaschi Preface. Search on Bibsonomy WWV The full citation details ... 2005 DBLP  BibTeX  RDF
1María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal Rules + strategies for transforming lazy functional logic programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1María Alpuente, Francisco J. Correa Un Depurador Abstracto, Inductivo y Paramétrico para Programas Multiparadigma. Search on Bibsonomy Revista Colombiana de Computación The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal Specialization of Functional Logic Programs Based on Needed Narrowing Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1María Alpuente, Demis Ballis, Moreno Falaschi Automated Verification of Web Sites Using Partial Rewriting. Search on Bibsonomy ISoLA (Preliminary proceedings) The full citation details ... 2004 DBLP  BibTeX  RDF
1María Alpuente, Moreno Falaschi, Alicia Villanueva A Symbolic Model Checker for tccp Programs. Search on Bibsonomy RISE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Timed Concurrent Constraint Programs, DDDs, Model Checking, Lightweight formal methods
1María Alpuente, Demis Ballis, Moreno Falaschi Verdi: An Automated Tool for Web Sites Verification. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Salvador Lucas On-demand Evaluation by Program Transformation. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Salvador Lucas OnDemandOBJ: A Laboratory for Strategy Annotations. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas Abstract correction of first-order functional programs. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal Uniform Lazy Narrowing. Search on Bibsonomy J. Log. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas Abstract Correction of OBJ-like Programs. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi Correction of Functional Logic Programs. Search on Bibsonomy ESOP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1María Alpuente, Francisco J. Correa, Moreno Falaschi A Debugging Scheme for Functional Logic Programs. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas Redundancy of Arguments Reduced to Induction. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Salvador Lucas Correct and Complete (Positive) Strategy Annotations for OBJ. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas Improving On-Demand Strategy Annotations. Search on Bibsonomy LPAR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF on-demand strategy annotations, lazy evaluation, Declarative programming, demandness, OBJ
1María Alpuente, Santiago Escobar, Salvador Lucas Removing Redundant Arguments of Functions. Search on Bibsonomy AMAST The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas Abstract Diagnosis of Functional Programs. Search on Bibsonomy LOPSTR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1María Alpuente, Francisco J. Correa, Moreno Falaschi Declarative Debugging of Functional Logic Programs. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 134 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license