A Declarative Debugging System for Lazy Functional Logic Programs

机译：惰性功能逻辑程序的声明式调试系统

代理获取

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

页面导航

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

著录项

作者
Caballero Rafael; Rodríguez-Artalejo Mario;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Type generic observation of intermediate data structures for debugging lazy functional programs [J] . Faddegon Maarten, Chitil Olaf Computer Languages, Systems & Structures . 2018,第JUNa期

机译：对中间数据结构进行类型通用观察，以调试惰性功能程序
2. Debugging techniques for declarative languages: Profiling, program slicing and algorithmic debugging [J] . Josep Silva AI communications . 2008,第1期

机译：声明性语言的调试技术：性能分析，程序切片和算法调试
3. Declarative debugging of rewriting logic specifications [J] . Adrian Riesco, Alberto Verdejo, Narciso Marti-Oliet, Journal of Logic and Algebraic Programming . 2012,第7a8期

机译：声明式调试重写逻辑规范
4. Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs [C] . Rafael Caballero, Francisco J. Lopez-Fraguas, Mario Rodriguez-Artalejo Functional and Logic Programming . 2001

机译：惰性功能逻辑程序的声明式调试的理论基础
5. Declarative debugging of functional logic programs. [D] . Correa Zabala, Francisco Jose. 2002

机译：功能逻辑程序的声明式调试。
6. Is There a Molecular Logic that Sustains Neuronal Functional Integrity and Survival?: Lipid Signaling is Necessary for Neuroprotective Neuronal Transcriptional Programs [O] . Nicolas G. Bazan -1

机译：是否存在维持神经元功能完整性和生存的分子逻辑？：脂质信号传导对于神经保护性神经元转录程序是必需的。
7. A declarative debugger of incorrect answers for constraint functional-logic programs [O] . Rafael Caballero 2005

机译：约束功能逻辑程序的错误答案的声明性调试器
8. LOG(F): An Optimal Combination of Logic Programming, Rewriting, and Lazy Evaluation. [R] . Narain, S. 1988

机译：LOG（F）：逻辑编程，重写和惰性评估的最佳组合。

A Declarative Debugging System for Lazy Functional Logic Programs

著录项

引文网络

相似文献

相关主题

期刊订阅