A slicing-based approach for locating type errors

机译：基于切片的类型错误定位方法

代理获取

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

页面导航

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

著录项

作者
T. B. Dinesh; Frank Tip;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Discriminative Sum Types Locate the Source of Type Errors [J] . Matthias Neubauer, Peter Thiemann ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2003,第9期

机译：判别和类型确定类型错误的来源
2. Locating Errors Through Networked Surveillance: A Multimethod Approach to Peer Assessment, Hazard Identification, and Prioritization of Patient Safety Efforts in Cardiac Surgery [J] . Thompson David A., Marsteller Jill A., Pronovost Peter J., Journal of patient safety . 2015,第3期

机译：通过网络监视定位错误：心脏外科手术中对等评估，危害识别和患者安全工作优先级的多方法方法
3. Providing an Approach to Locating the Semantic Error of Application using Data Mining Techniques [J] . Abdollah Rahimi, Ahmad Faraahi, Azam Ghaedi Indian Journal of Science and Technology . 2016,第18期

机译：提供一种使用数据挖掘技术定位应用程序语义错误的方法
4. Discriminative Sum Types Locate the Source of Type Errors [C] . Matthias Neubauer, Peter Thiemann ACM SIGPLAN international conference on functional programming . 2003

机译：差异总和类型定位类型错误源
5. Dynamic state alteration techniques for automatically locating software errors. [D] . Jeffrey, Dennis Bernard. 2009

机译：动态状态更改技术，用于自动定位软件错误。
6. Locating single-point sources from arrival times containing large picking errors (LPEs): the virtual field optimization method (VFOM) [O] . Xi-Bing Li, Ze-Wei Wang, Long-Jun Dong -1

机译：从到达时间大的拾取错误（LPE）定位单点源：虚拟场优化方法（VFOM）
7. Discriminative Sum Types Locate the Source of Type Errors [O] . 2008

机译：判别总和类型定位类型错误的来源
8. Slicing-Based Approach for Locating Type Errors [R] . Dinesh, T. B., Tip, F. 1998

机译：基于切片的定位类型错误方法

A slicing-based approach for locating type errors

著录项

引文网络

相似文献

相关主题

期刊订阅