首页> 外文OA文献 >Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees

【2h】

Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees

机译：通过转换防范树木，简化Maude申示性调试器的问题

代理获取

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

页面导航

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

著录项

作者
Rafael Caballero; Adrián Riesco; Alberto Verdejo; Narciso Martí-Oliet;
展开▼
作者单位

展开▼
年度 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. Simplifying Debugging using RTOS-Aware Debugging [J] . Jacob Beningo Design News . 2018,第juna期

机译：使用支持RTOS的调试简化调试
4. Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees [C] . Rafael Caballero, Adrian Riesco, Alberto Verdejo, International symposium on logic-based program synthesis and transformation . 2012

机译：通过转换证明树来简化Maude声明式调试器中的问题
5. Optimizing and Debugging Distributed Systems with Declarative Languages [D] . Zhang, Yuankai. 2019

机译：使用声明性语言优化和调试分布式系统
6. A randomized placebo-controlled proof-of-concept crossover trial of phenytoin for hydrocortisone-induced declarative memory changes [O] . E. Sherwood Brown, Hanzhang Lu, Daren Denniston, -1

机译：随机安慰剂控制的概念苯妥汀的交叉试验用于氢化子酮诱导的声明内记忆变化
7. Depuración declarativa y verificación heterogénea en Maude = Declarative debugging and heterogeneous verification in Maude [O] . Riesco Rodríguez Adrián 2011

机译：Maude中的声明式调试和异构验证= Maude中的声明式调试和异构验证

Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees

著录项

引文网络

相似文献

相关主题

期刊订阅