首页> 外文OA文献 >A Semantic Framework for the Declarative Debugging of Wrong and Missing Answers in Declarative Constraint Programming

【2h】

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

机译：在声明规则规划中的错误和缺失答案的陈述调试的语义框架

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Rafael del Vado Vrseda; Fernando Prez;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Declarative Debugging of Missing Answers for Maude [J] . Adrian Riesco, Alberto Verdejo, Narciso Marti-Oliet LIPIcs : Leibniz International Proceedings in Informatics . 2010,第2期

机译：对Maude遗漏答案的声明式调试
2. Debugging techniques for declarative languages: Profiling, program slicing and algorithmic debugging [J] . Josep Silva AI communications . 2008,第1期

机译：声明性语言的调试技术：性能分析，程序切片和算法调试
3. A core Erlang semantics for declarative debugging [J] . Caballero Rafael, Martin-Martin Enrique, Riesco Adrian, The Journal of logic and algebraic programming . 2019,第OCTa期

机译：声明式调试的核心Erlang语义
4. Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming [C] . Rafael Caballero, Mario Rodriguez Artalejo, Rafael del Vado Virseda International Conference on Logic Programming(ICLP 2007); 20070908-13; Porto(PT) . 2007

机译：约束功能逻辑编程中遗漏答案的声明式调试
5. Declarative debugging of functional logic programs. [D] . Correa Zabala, Francisco Jose. 2002

机译：功能逻辑程序的声明式调试。
6. Declarative Programming with Temporal Constraints in the Language CG [O] . Lorina Negreanu 2015

机译：具有时间约束的声明式编程使用CG语言
7. A declarative debugger of incorrect answers for constraint functional-logic programs [O] . Rafael Caballero 2005

机译：约束功能逻辑程序的错误答案的声明性调试器

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

著录项

引文网络

相似文献

相关主题

期刊订阅