首页> 外文OA文献 >Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

【2h】

Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

机译：具有动态调度的逻辑程序的目标独立悬架分析：第12届欧洲编程研讨会，ESOP 2003，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2003在华沙，波兰，2003年4月7日至11日，会议记录

代理获取

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

页面导航

摘要
著录项
相似文献
相关主题

摘要

A goal-independent suspension analysis is presented that infers a class of goals for which a logic program with delays can be executed without suspension. The crucial point is that the analysis does not verify that an (abstract) goal does not lead to suspension but rather it infers (abstract) goals which do not lead to suspension.

机译：提出了一种与目标无关的暂停分析，该分析可推断出一类目标，可以针对这些目标执行具有延迟的逻辑程序而无需暂停。关键点在于，该分析并未验证（抽象）目标不会导致暂停，而是会推断出不会导致暂停的目标（抽象）。

著录项

作者
Genaim Samir; King Andy;
展开▼
作者单位

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

相似文献

外文文献

1. Meeting Report: ESF Programme on Functional Genomics 1st European Conference: Functional Genomics and Disease 2003 [J] . Jo Wixon, Joan Marsh Comparative and functional genomics . 2003,第5期

机译：会议报告：ESF功能基因组计划第一次欧洲会议：2003年功能基因组与疾病
2. Proceedings 11th Annual IEEE Symposium on Field-Programmable Custom Computing Machines. FCCM 2003 [C] . Field-Programmable Custom Computing Machines, 2003. FCCM 2003. 11th Annual IEEE Symposium on . -1

机译：会议论文第十一届年度IEEE现场可编程定制计算机研讨会。 FCCM 2003
3. Determinacy Inference for Logic Programs: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings [O] . Lu Lunjin, King Andy 2005

机译：逻辑程序的确定性推论：第14届欧洲编程研讨会，ESOP，2005年，欧洲软件理论与实践联合会议的一部分，ETAPS，2005年，英国爱丁堡，2005年4月4日至8日。会议论文集
4. International Cytokine Conference (11th) Held in Dublin (Ireland) on September 20-24 2003 (European Cytokine Network, Volume 14, Number 3, September 2003) [R] . Reichard, S. 2003

机译：国际细胞因子会议（第11次）于2003年9月20日至24日在都柏林（爱尔兰）举行（欧洲细胞因子网络，第14卷，第3期，2003年9月）

Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

摘要

著录项

相似文献

相关主题

期刊订阅