首页> 外文OA文献 >A blueprint for an abstract machine for abstract interpretation of (constraint) logic programming

【2h】

A blueprint for an abstract machine for abstract interpretation of (constraint) logic programming

机译：用于（约束）逻辑编程的抽象解释的抽象机的蓝图

页面导航

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

摘要

status: published

机译：状态：已发布

著录项

作者
Janssens Gerda; Bruynooghe Maurice; Dumortier Veroniek;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Precise goal-independent abstract interpretation of constraint logic programs [J] . Peter Schachte Theoretical computer science . 2003,第3期

机译：约束逻辑程序的目标无关精确抽象解释
2. Verifying floating-point programs with constraint programming and abstract interpretation techniques [J] . Olivier Ponsini, Claude Michel, Michel Rueher Automated software engineering . 2016,第2期

机译：使用约束编程和抽象解释技术验证浮点程序
3. Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types [J] . A. SERRANO, P. LOPEZ-GARCIA, M. V. HERMENEGILDO Theory and Practice of Logic Programming . 2014,第pta4a5期

机译：使用大小类型的抽象解释通过逻辑程序进行资源使用分析
4. A WAM-based abstract machine for interval constraint logic programming [C] . Lee, J.H.M., Lee, . 1994

机译：用于间隔约束逻辑编程的基于WAM的抽象机
5. Automating abstract interpretation of abstract machines [D] . Johnson, James Ian 2015

机译：自动化抽象机器的抽象解释
6. Scientific Demonstration Abstracts. Demonstration Abstracts: Computer-Assisted Medical Decision-Support Systems: PC Programs for Adaptive Control of Drug Dosage Regimens and for Population Pharmacokinetic Modeling [O] . Roger W. Jelliffe, Alan Schumitzky, David DArgenio, 1990

机译：科学示范文摘。演示摘要：计算机辅助医疗决策支持系统：适应性控制药物剂量方案和人群药代动力学建模的PC程序
7. A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs [O] . 1995

机译：抽象机器的蓝图，用于抽象解释（约束）逻辑计划
8. Bottom-Up Abstract Interpretation of Logic Programs [R] . Codish, M., Dams, D., Yardeni, E. 1992

机译：逻辑程序的自下而上的抽象解释

A blueprint for an abstract machine for abstract interpretation of (constraint) logic programming

摘要

著录项

相似文献

相关主题

期刊订阅