Mostrar el registro sencillo del ítem

dc.contributor.authorAlpuente Frasnedo, Maríaspa
dc.contributor.authorCorrea Zabala, Francisco Joséspa
dc.date.accessioned2020-10-27T00:21:16Z
dc.date.available2020-10-27T00:21:16Z
dc.date.issued2004-12-01
dc.identifier.issn2539-2115
dc.identifier.issn1657-2831
dc.identifier.urihttp://hdl.handle.net/20.500.12749/9033
dc.description.abstractPresentamos un marco general para el diagnóstico abstracto de programas lógico- funcionales, válido para diferentes estrategias de estrechamiento. Asociamos a cada programa una semántica por punto fijo que modela las respuestas computadas. Nuestra metodología está basada en la interpretación abstracta y es paramétrica con respecto a la estrategia de cómputo. Gracias a que la aproximación del conjunto de éxitos que presentamos es finita, la metodología de diagnóstico que se propone puede ser usada de manera estática. Una implementación de nuestro sistema de depuración \BUGGY" demuestra experimentalmente que el método permite encontrar algunos errores comunes sobre una muestra amplia de programas.spa
dc.format.mimetypeapplication/pdfspa
dc.language.isospaspa
dc.publisherUniversidad Autónoma de Bucaramanga UNAB
dc.relationhttps://revistas.unab.edu.co/index.php/rcc/article/view/1073/1045
dc.relation.urihttps://revistas.unab.edu.co/index.php/rcc/article/view/1073
dc.rightsDerechos de autor 2004 Revista Colombiana de Computación
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/4.0/*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/2.5/co/
dc.sourceRevista Colombiana de Computación; Vol. 5 Núm. 2 (2004): Revista Colombiana de Computación; 1-21
dc.subjectInnovaciones tecnológicas
dc.subjectCiencia de los computadores
dc.subjectDesarrollo de tecnología
dc.subjectIngeniería de sistemas
dc.subjectInvestigaciones
dc.subjectTecnologías de la información y las comunicaciones
dc.subjectTIC´s
dc.titleUn depurador abstracto, inductivo y paramétrico para programas multiparadigmaspa
dc.title.translatedAn abstract, inductive, and parametric debugger for multi-paradigm programseng
dc.type.driverinfo:eu-repo/semantics/article
dc.type.localArtículospa
dc.type.coarhttp://purl.org/coar/resource_type/c_7a1f
dc.subject.keywordsTechnological innovationseng
dc.subject.keywordsComputer scienceeng
dc.subject.keywordsTechnology developmenteng
dc.subject.keywordsSystems engineeringeng
dc.subject.keywordsInvestigationseng
dc.subject.keywordsInformation and communication technologieseng
dc.subject.keywordsICT'seng
dc.subject.keywordsDeclarative debuggingeng
dc.subject.keywordsAbstract diagnosiseng
dc.subject.keywordsAbstract interpretationeng
dc.subject.keywordsFunctional logic languageeng
dc.subject.keywordsMulti-paradigm programmingeng
dc.subject.keywordsOperational semanticseng
dc.subject.keywordsFixed point semanticseng
dc.identifier.instnameinstname:Universidad Autónoma de Bucaramanga UNABspa
dc.type.hasversioninfo:eu-repo/semantics/acceptedVersion
dc.rights.accessrightsinfo:eu-repo/semantics/openAccessspa
dc.relation.referencesM. Alpuente, D. Ballis, F. Correa, and M. Falaschi. A Multi Paradigm Automatic Correction Scheme. In “Proc. of 11th Int’l Workshop on Functional and (Constraint) Logic Programming” (2002).
dc.relation.referencesM. Alpuente, D. Ballis, F. Correa, and M. Falaschi. The System for Automatic Correction nobug. Technical Report, UPV (2002). Available at URL: http://www.dsic.upv.es/users/elp/papers.html.
dc.relation.referencesM. Alpuente, D. Ballis, F. Correa, and M. Falaschi. Correction of functional logic program. In P. Degano, editor, “Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003.”, volume 2618 / 2003 of “Lecture Notes in Computer Science”. SpringerVerlag Heidelberg (2003).
dc.relation.referencesM. Alpuente, F. Correa, and M. Falaschi. Declarative debugging framework for functional logic programs.
dc.relation.referencesM. Alpuente, F. Correa, and M. Falaschi. Declarative Debugging of Funtional Logic Programs. In B. Gramlich and S. Lucas, editors, “Proc. of the International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001)”, volume 57 of “Electronic Notes in Theoretical Computer Science”. Elsevier Science Publishers (2001).
dc.relation.referencesM. Alpuente, F. Correa, and M. Falaschi. Debugging Scheme of Functional Logic Programs. In M. Hanus, editor, “Proc. of International Workshop on Functional and (Constraint) Logic Programming, WFLP’01”, volume 64 of “Electronic Notes in Theoretical Computer Science”. Elsevier Science Publishers (2002).
dc.relation.referencesM. Alpuente, F. Correa, M. Falaschi, and S. Marson. The Debugging System buggy. Technical Report, UPV (2001). Available at URL: http://www.dsic.upv.es/users/elp/soft.html.
dc.relation.referencesM. Alpuente, M. Falaschi, and F. Manzo. Analyses of Unsatisfiability for Equational Logic Programming. Journal of Logic Programming 22(3), 221–252 (1995).
dc.relation.referencesM. Alpuente, M. Falaschi, and G. Vidal. A Compositional Semantic Basis for the Analysis of Equational Horn Programs. Theoretical Computer Science 165(1), 97–131 (1996).
dc.relation.referencesS. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. In “Proc. 21st ACM Symp. on Principles of Programming Languages, Portland”, pages 268–279, New York (1994). ACM Press.
dc.relation.referencesK. R. Apt. Introduction to Logic Programming. In J. van Leeuwen, editor, “Handbook of Theoretical Computer Science”, volume B: Formal Models and Semantics. Elsevier, Amsterdam and The MIT Press, Cambridge, Mass. (1990).
dc.relation.referencesJ. Boye, W. Drabent, and J. Maluszynski ´ . Declarative diagnosis of constraint programs: an assertion-based approach. In “Proc. of the 3rd Int’l Workshop on Automated Debugging - AADEBUG’97”, pages 123–141, Linkoping, Sweden (May 1997). U. of Linkoping Press.
dc.relation.referencesF. Bueno, P. Deransart, W. Drabent, G. Ferrand, M Hermenegildo, J. Maluszynski, and G. Puebla ´ . On the role of semantic approximations in validation and diagnosis of constraint logic programs. In “Proc. of the 3rd. Int’l Workshop on Automated Debugging-AADEBUG’97”, pages 155–170. U. of Linkoping Press (1997).
dc.relation.referencesM. Codish, M. Falaschi, and K. Marriott. Suspension Analysis for Concurrent Logic Programs. In K. Furukawa, editor, “Proc. of Eighth Int’l Conf. on Logic Programming”, pages 331–345. The MIT Press, Cambridge, MA (1991).
dc.relation.referencesM. Comini, G. Levi, M. Meo, and G. Vitiello. Proving Properties of Logic Programs by Abstract Diagnosis. In M. Dams, editor, “Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop”, volume
dc.relation.referencesM. Comini, G. Levi, M. C. Meo, and G. Vitiello. Abstract diagnosis. Journal of Logic Programming 39(1-3), 43–93 (1999).
dc.relation.referencesM. Comini, G. Levi, and G. Vitiello. Abstract Debugging of Logic Programs. In L. Fribourg and F. Turini, editors, “Proc. Logic Program Synthesis and Transformation and Metaprogramming in Logic 1994”, volume 883 of “Lecture Notes in Computer Science”, pages 440–450. Springer-Verlag, Berlin (1994).
dc.relation.referencesM. Comini, G. Levi, and G. Vitiello. Declarative Diagnosis Revisited. In John W. Lloyd, editor, “Proceedings of the 1995 Int’l Symposium on Logic Programming”, pages 275–287. The MIT Press (1995).
dc.relation.referencesM. Comini, G. Levi, and G. Vitiello. Efficient detection of incompleteness errors in the abstract debugging of logic programs. In M. Ducasse´, editor, “Proc. 2nd International Workshop on Automated and Algorithmic Debugging, AADEBUG’95” (1995).
dc.relation.referencesF. Correa. “Depuraci´on Declarativa de Programas L´ogico Funcionales”. PhD thesis, Universidad Polit´ecnica de Valencia (2002). ISBN 84-688-5981-8.
dc.relation.referencesP. Cousot and R. Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In “Proc. of Fourth ACM Symp. on Principles of Programming Languages”, pages 238–252 (1977).
dc.relation.referencesN. Dershowitz and Y. Lee. Deductive Debugging. In “Proceedings of the Fourth IEEE Symposium on Logic Programming”, pages 298–306, San Francisco, California (August 1987).
dc.relation.referencesW. Drabent, S.Nadjim-Tehrani, and J. Maluszynski ˜ . The use of assertions in algorithmic debugging. In “Proceedings of the 1988 Iinternational Conference on Fifth Generation Computer Systems”, pages 573–581, Tokyo, Japan (December 1988).
dc.relation.referencesR. Echahed. On completeness of narrowing strategies. In “Proc. of CAAP’88”, pages 89–101. Springer LNCS 299 (1988).
dc.relation.referencesA. Edman and S. Tarnlund ¨ . Mechanization of an Oracle in a Debugging System. In “Proceedings of Eighth IJCAI”, pages 553–555, Karlsruhe, Germany (August 1983).
dc.relation.referencesM. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. Declarative Modeling of the Operational Behavior of Logic Languages. Theoretical Computer Science 69(3), 289–318 (1989).
dc.relation.referencesM. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs. Information and Computation 103(1), 86–113 (1993).
dc.relation.referencesM. Fay. First Order Unification in an Equational Theory. In “Proc of 4th Int’l Conf. on Automated Deduction”, pages 161–167 (1979).
dc.relation.referencesG. Ferrand. Error Diagnosis in Logic Programming, and Adaptation of E.Y.Shapiro’s Method. Journal of Logic Programming 4(3), 177–198 (1987).
dc.relation.referencesG. Ferrand and A. Tessier. Declarative Debugging. The Newsletter of the European Network in Computational Logic 3(1), 71–76 (1996).
dc.relation.referencesL. Fribourg. SLOG: a logic programming language interpreter based on clausal superposition and rewriting. In “Proc. of Second IEEE Int’l Symp. on Logic Programming”, pages 172–185. IEEE, New York (1985).
dc.relation.referencesM. Hanus. Combining Lazy Narrowing with Simplification. In “Proc. of 6th Int’l Symp. on Programming Language Implementation and Logic Programming”, pages 370–384. Springer LNCS 844 (1994).
dc.relation.referencesM. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming 19&20, 583–628 (1994).
dc.relation.referencesM. Hanus. Towards the Global Optimization of Functional Logic Programs. In “Proc. of Fifth Int’l Conf. on Compiler Construction”, pages 68–82. Springer LNCS 786 (1994).
dc.relation.referencesS. Holldobler ¨ . “Foundations of Equational Logic Programming”. Springer LNAI 353 (1989).
dc.relation.referencesJ. M. Hullot. Canonical Forms and Unification. In “Proc of 5th Int’l Conf. on Automated Deduction”, pages 318–334. Springer LNCS 87 (1980).
dc.relation.referencesT. Kanamori, T. Kawamura, M. Maeji, and K. Horiuchi. Logic Program Diagnosis Specification. Icot technical report tr-447, Institute for New Generation Computer Technology, Tokyo, Japan (March 1989).
dc.relation.referencesR. A. Kowalski. Predicate Logic as a Programming Language. In “Information Processing 74”, pages 569–574. North-Holland (1974).
dc.relation.referencesR. A. Kowalski. “Logic for Problem Solving”. North-Holland (1979).
dc.relation.referencesJ. L. Lassez, M. J. Maher, and K. Marriott. Unification Revisited. In J. Minker, editor, “Foundations of Deductive Databases and Logic Programming”, pages 587–625. Morgan Kaufmann, Los Altos, Ca. (1988).
dc.relation.referencesJ. W. Lloyd. Declarative error diagnosis. New Generation Computing 2(2), 133–154 (1987).
dc.relation.referencesJ. W. Lloyd. “Foundations of Logic Programming”. Springer-Verlag, Berlin (1987). Second edition.
dc.relation.referencesM. J. Maher. Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees. In “Proc. of Third IEEE Symp. on Logic In Computer Science”, pages 348–357. Computer Science Press, New York (1988).
dc.relation.referencesM. J. Maher. On Parameterized Substitutions. Technical Report RC 16042, IBM - T.J. Watson Research Center, Yorktown Heights, NY (1990).
dc.relation.referencesA. Middeldorp and E. Hamoen. Completeness Results for Basic Narrowing. Applicable Algebra in Engineering, Communication and Computing 5, 213–253 (1994).
dc.relation.referencesJ.J. Moreno-Navarro and M. Rodr´ıguez-Artalejo. Logic Programming with Functions and Predicates: The language Babel. Journal of Logic Programming 12(3), 191–224 (1992).
dc.relation.referencesL. Naish. Declarative Debugging of Lazy Functional Programs. Australian Computer Science Communications 15(1), 287–294 (1993).
dc.relation.referencesL. Naish. A Declarative Debugging Scheme. Technical report 95/1, Department of Computer Science, University of Melbourne, Melbourne, Australia (February 1995).
dc.relation.referencesL. Naish and T. Barbour. Declarative Debugging of a Logical-Functional Language. Technical report 94/30, Department of Computer Science, University of Melbourne, Melbourne, Australia (December 1994).
dc.relation.referencesL. Naish and T. Barbour. Towards a portable lazy functional declarative debugger. Technical Report, Department of Computer Science, University of Melbourne, Melbourne, Australia (1995).
dc.relation.referencesC. Palamidessi. A fixpoint semantics for Guarded Horn Clauses. Technical Report CS-R8833, Centre for Mathematics and Computer Science, Amsterdam (1988).
dc.relation.referencesR. Plasmeijer and M. van Eekelen. “Functional Programming and Parallel Graph Rewriting.” Addison Wesley (1993).
dc.relation.referencesG. Plotkin. A structured approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University (1981).
dc.relation.referencesC. Reade. “Elements of Functional Programming”. Addison-Wesley Publishing Company (1993).
dc.relation.referencesU.S. Reddy. Narrowing as the Operational Semantics of Functional Languages. In “Proc. of Second IEEE Int’l Symp. on Logic Programming”, pages 138–151. IEEE, New York (1985).
dc.relation.referencesP. Rety ´ . Improving basic narrowing techniques. In “Proc. of the Conf. on Rewriting Techniques and Applications”, pages 228–241. Springer LNCS 256 (1987).
dc.relation.referencesS. Safra and E. Shapiro. Meta Interpreters for Real. In H.-J. Kugler, editor, “Information Processing 86, Dublin, Ireland”, pages 271–278. North-Holland, Amsterdam (1986).
dc.relation.referencesE. Y. Shaphiro. “Algorithmic Program Debugging”. The MIT Press, Cambridge, Massachusetts (1982). ACM Distinguished Dissertation.
dc.relation.referencesJ.R. Slagle. Automated Theorem-Proving for Theories with Simplifiers, Commutativity and Associativity. Journal of the ACM 21(4), 622–642 (1974).
dc.relation.referencesJ. Sparud and H. Nilsson. The architecture of a debugger for lazy functional languages. In M. Ducasse´, editor, “Proceedings of AADEBUG’95”, Saint-Malo, France (May 1995).
dc.relation.referencesPeter Van Roy and Seif Haridi. “Concepts, Techniques, and Models of Computer Programming”. MIT Press (2004). ISBN 0-262-22069-5.
dc.contributor.cvlacCorrea Zabala, Francisco José [0000021172]spa
dc.contributor.orcidAlpuente Frasnedo, María [0000-0002-9268-1178]spa
dc.contributor.orcidCorrea Zabala, Francisco José [0000-0002-5862-3169]spa
dc.contributor.researchgateAlpuente Frasnedo, María [Maria-Alpuente]spa
dc.contributor.researchgateCorrea Zabala, Francisco José [Francisco-Correa-Zabala]spa
dc.subject.lembInnovaciones tecnológicasspa
dc.subject.lembCiencias de la computaciónspa
dc.subject.lembDesarrollo tecnológicospa
dc.subject.lembIngeniería de sistemasspa
dc.subject.lembInvestigacionesspa
dc.subject.lembTecnologías de la información y la comunicaciónspa
dc.identifier.repourlrepourl:https://repository.unab.edu.co
dc.description.abstractenglishWe present a general framework for the abstract diagnosis of logic-functional programs, valid for different narrowing strategies. We associate to each program a fixed point semantics that models the computed responses. Our methodology is based on abstract interpretation and is parametric with respect to the computation strategy. Thanks to the fact that the approximation of the set of successes that we present is finite, the diagnostic methodology that is proposed can be used in a static way. An implementation of our \BUGGY" debugging system experimentally demonstrates that the method allows finding some common bugs on a wide sample of programs.eng
dc.subject.proposalDepuración declarativaspa
dc.subject.proposalDiagnostico abstractospa
dc.subject.proposalInterpretación abstractaspa
dc.subject.proposalLenguaje lógico funcionalspa
dc.subject.proposalProgramación multiparadigmaspa
dc.subject.proposalSemántica operacionalspa
dc.subject.proposalSemántica de punto fijospa
dc.type.redcolhttp://purl.org/redcol/resource_type/CJournalArticle
dc.rights.creativecommonsAttribution-NonCommercial-ShareAlike 4.0 International*


Ficheros en el ítem

Thumbnail

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem

Attribution-NonCommercial-ShareAlike 4.0 International
Excepto si se señala otra cosa, la licencia del ítem se describe como Attribution-NonCommercial-ShareAlike 4.0 International