首页> 外文OA文献 >Towards a methodology for the design of abstract machines for logic programming languages

【2h】

Towards a methodology for the design of abstract machines for logic programming languages

机译：为逻辑编程语言设计抽象机的方法论

代理获取

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

页面导航

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

著录项

作者
Nilsson Ulf;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. The abstract state machines method for modular design and analysis of programming languages [J] . Borger Egon Journal of logic and computation . 2017,第2期

机译：模块化设计和编程语言分析的抽象状态机方法
2. OBJECT LOGIC INTEGRATION: A MULTIPARADIGM DESIGN METHODOLOGY AND A PROGRAMMING LANGUAGE [J] . J. H. M. LEE, P. K. C. PUN Computer languages . 1997,第1期

机译：对象逻辑集成：一种多参数设计方法和一种编程语言
3. Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints [J] . Thierry Martinez LIPIcs : Leibniz International Proceedings in Informatics . 2010,第1期

机译：具有线性逻辑约束的并行逻辑编程语言的设计与实现
4. DESIGN OF MACHINE FOR LOGIC PROGRAMMING LANGUAGE GODEL(BULLETIN) [C] . CAO BING-YI, ZHAO ZHI-ZHUO International conference on mechanical and electrical technology . 2011

机译：逻辑编程语言模型（公告板）的机器设计
5. An abstract operational model for a functional-logic programming language. [D] . Takahashi, Silvia. 1994

机译：功能逻辑编程语言的抽象操作模型。
6. Drug design by machine learning: the use of inductive logic programming to model the structure-activity relationships of trimethoprim analogues binding to dihydrofolate reductase. [O] . R D King, S Muggleton, R A Lewis, 1992

机译：通过机器学习进行药物设计：使用归纳逻辑编程来建模甲氧苄啶类似物与二氢叶酸还原酶结合的构效关系。
7. An abstract machine based execution model for computer architecture design and efficient implementation of logic programs in parallel. [O] . Hermenegildo Manuel V. 1986

机译：一种基于抽象机器的执行模型，用于计算机体系结构设计和逻辑程序的并行高效实现。
8. Space Programming Language Machine (SPLM) Logic Simulator [R] . Alain P. Grebert, Frederick H. Gerbstadt, Robert V. Bock 1974

机译：空间编程语言机（spLm）逻辑模拟器

Towards a methodology for the design of abstract machines for logic programming languages

著录项

引文网络

相似文献

相关主题

期刊订阅