Filters








21,194 Hits in 3.0 sec

Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming [chapter]

Rafael Caballero, Mario Rodríguez Artalejo, Rafael del Vado Vírseda
2006 Lecture Notes in Computer Science  
[9], constraint logic programming [11, 4] and functional logic programming [2, 3] .  ...  D given as parameter, and supports a powerful combination of functional and constraint logic programming over D [6] .  ...  Our aim is to achieve a natural combination of previous approaches that were separately developed for the CLP (D) scheme [11] and for lazy functional logic languages [2] .  ... 
doi:10.1007/11799573_31 fatcat:da7cb2rq7ff4vmjwvles6b5ug4

Logic Programs With Uncertainties: A Tool for Implementing Rule-Based Systems

Ehud Y. Shapiro
1983 International Joint Conference on Artificial Intelligence  
A logic program with uncertainties Pisa finite set of pairs <A*-J3,/>, where A*-B is a definite clause and / is a certainty function. Figure3below has this function scheme built-in.  ...  A similar interpreter can be built for most reasonable schemes of certainty functions.  ... 
dblp:conf/ijcai/Shapiro83 fatcat:jtfcvpb6rrf4hi5stoauvbzhea

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming [chapter]

Rafael Caballero, Mario Rodríguez Artalejo, Rafael del Vado Vírseda
2007 Lecture Notes in Computer Science  
Recently [1], we have presented a prototype tool for the declarative diagnosis of wrong computed answers in CF LP (D), a new generic scheme for lazy Constraint Functional-Logic Programming which can be  ...  It is well known that constraint logic and functional-logic programming languages have many advantages, and there is a growing trend to develop and incorporate effective tools to this class of declarative  ...  Declarative programming paradigms such as the CF LP (D) scheme involve complex operational details such as constraint solving, lazy evaluation of possibly higher-order and non-deterministic functions,  ... 
doi:10.1007/978-3-540-74610-2_29 fatcat:kp3hr5r2wngalashaxahuhspn4

Page 6047 of Mathematical Reviews Vol. , Issue 2002H [page]

2002 Mathematical Reviews  
“We developed a tool for debugging Prolog programs which also handles the specific programming techniques (cut, if-then, OR).  ...  These are shown to be real- ized by sequential simulations of specific communication schemes for which they provide a safe typing mechanism.”  ... 

A Logical Framework for Debugging in Declarative Constraint Programming

Rafael del Vado Vírseda
2009 Electronical Notes in Theoretical Computer Science  
We present a logical and semantic framework for diagnosing wrong computed answers in CF LP (D), a newly proposed generic scheme for lazy Constraint Functional Logic Programming which can be instantiated  ...  Our approach extends and combines declarative debugging techniques previously developed for less expressive programming paradigms, namely the CLP (D) scheme and lazy functional logic languages.  ...  Acknowledgement The author is thankful to Mario Rodríguez Artalejo and Rafael Caballero for their collaboration, comments and contributions during the first stages of the development of this work and for  ... 
doi:10.1016/j.entcs.2009.11.009 fatcat:r6l6ee6wwndynmfwaxnmxeyxri

Page 67 of Journal of Research and Practice in Information Technology Vol. 10, Issue 2 [page]

1978 Journal of Research and Practice in Information Technology  
It is not uncommon for additions to a program to require debugging.  ...  This allows for making the inevitable corrections without disturbing the lexicographic ordering scheme or having to re-label the rest of the block, and it facilitates the insertion of debugging statements  ... 

Page 75 of Automation and Remote Control Vol. 54, Issue 6 [page]

1993 Automation and Remote Control  
These are based on the methods of: a) discrete programming; b) local optimization; c) graphs theory; d) optimization in graphs and nets [91]. 3.6. Debugging of a modular MIS.  ...  At the first stage the optimal composition of functional checking tests and the size of debug data needed for system debugging and operational testing are identified through the given modular flowchart  ... 

Development and debugging of MPI programs on the environmental research computing portal in the mining region

Andrey Vlasenko, Igor Sotnikov, Eugeniya Prokopenko, Anton Demidov, A. Khoreshok, V. Atrushkevich, S. Vöth, D. Nuray, J. Janocko, Y. Tan, D. Marasová, P. Stefanek (+1 others)
2019 E3S Web of Conferences  
The article is devoted to the development of automated debugging software for parallel programs used in the analysis of the impact of mining on the ecology of the region using the MPI communication interface  ...  The architecture and the general scheme of the automated debugging system on a computing cluster are presented. Another software project described in the article is an engineering computing portal.  ...  When constructing a system for automated debugging of MPI programs, the authors find it most productive to use a combination of several approaches, since various methods are suitable for searching for  ... 
doi:10.1051/e3sconf/201913402003 fatcat:7b4yntdvmrfw7fhgkwoofbqowy

A debugging model for functional logic programs [chapter]

Michael Hanus, Berthold Josephs
1993 Lecture Notes in Computer Science  
The responsibility for the contents of this publication lies with the authors.  ...  Acknowledgements The research described in this paper was partially funded by the German Ministry for Research and Technology (BMFT) under grant ITS 9103.  ...  A debugging model for functional logic programs The standard box model for Prolog is used as an interface between the program execution and the programmer.  ... 
doi:10.1007/3-540-57186-8_69 fatcat:bfj7gn4ynrh2xeu7zduhxfrnjy

Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming [chapter]

Rafael Caballero, Mario Rodríguez Artalejo, Rafael del Vado Vírseda
2008 Lecture Notes in Computer Science  
We present a declarative method for diagnosing missing computed answers in CF LP (D), a generic scheme for lazy Constraint Functional-Logic Programming which can be instantiated by any constraint domain  ...  Our approach combines and extends previous work done separately for constraint logic programming and lazy functional programming languages.  ...  Acknowledgments The authors are grateful to the referees of previous versions of this paper for their constructive comments and suggestions.  ... 
doi:10.1007/978-3-540-78969-7_22 fatcat:qvcrpuj2krfdlfwxrdz77caxx4

Deductive Verification via the Debug Adapter Protocol

Gidon Ernst, Johannes Blau, Toby Murray
2021 Electronic Proceedings in Theoretical Computer Science  
We propose a conceptual integration of deductive program verification into existing user interfaces for software debugging.  ...  We have implemented this scheme for SecC, an auto-active program verifier for C, and discuss its integration into Visual Studio Code.  ...  We thank the reviewers for their suggestions to improve the presentation.  ... 
doi:10.4204/eptcs.338.11 fatcat:wjbrs7fz2zgb5c452ujwokgg44

A Semantic Framework for the Declarative Debugging of Wrong and Missing Answers in Declarative Constraint Programming [chapter]

Rafael del Vado Vrseda, Fernando Prez
2012 Semantics - Advances in Theories and Mathematical Models  
Conclusions and future work We have presented a logical and semantic framework for the declarative diagnosis of wrong and missing computed answers in CFLP(D), a generic scheme for Constraint Functional-Logic  ...  The aim of this chapter is to present a logical and semantic framework for diagnosing wrong and missing computed answers in CFLP(D) (López et al., 2006) , a newly proposed generic programming scheme for  ...  For instance here is a fragment of the code for the function even of our running example in the transformed program: As the example shows, the code for each function now displays information about the  ... 
doi:10.5772/37119 fatcat:wo2u3ctotva77avgnr6c4motpe

A Logic Programming and Verification System for Recursive Quantificational Logic

Frank M. Brown, Peiya Liu
1985 International Joint Conference on Artificial Intelligence  
This system is shown to have interesting properties for logic programming and includes a number of advanced features.  ...  In this paper, we describe a logic programming and program verification system which is based on quantifier elimination techniques and axiomatization rather than on more common method of doing logic programming  ...  Norman Martin and Ruey-Juin Ghang for their helpful comments to earlier drafts of this paper. Our thanks also go to the referees for their use ful suggestions.  ... 
dblp:conf/ijcai/BrownL85 fatcat:joyu42sc75dkvkoyuk3alaziue

Page 1737 of Mathematical Reviews Vol. , Issue 95c [page]

1995 Mathematical Reviews  
We propose using FT as a constraint system for logic programming. We provide a test for constraint unsatisfiability, and a test for constraint entailment.  ...  The feature tree structure determines an algebraic semantics for FT. We establish a logical semantics, thanks to three axiom schemes presenting the first-order theory FT.  ... 

Projection-based runtime assertions for testing and debugging Quantum programs

Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie
2020 Proceedings of the ACM on Programming Languages (PACMPL)  
In this paper, we propose Proq, a runtime assertion scheme for testing and debugging quantum programs on a quantum computer.  ...  , for both exact and approximate quantum programs.  ...  ACKNOWLEDGMENTS We thank all anonymous reviewers for their valuable comments. This work was supported in part by National Science Foundation of US (Grant Nos. 1730309 and 1925717  ... 
doi:10.1145/3428218 fatcat:zcupasqozrht7nu5q53e4ut5p4
« Previous Showing results 1 — 15 out of 21,194 results