首页> 外文OA文献 >Intuitionistic Linear Logic Programming Language LLP and its Compiler Systems

【2h】

Intuitionistic Linear Logic Programming Language LLP and its Compiler Systems

机译：直觉线性逻辑编程语言LLP及其编译器系统

代理获取

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

页面导航

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

著录项

作者
田村直之; 番原睦則;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages [J] . Anderson Faustino da Silva, Vitor Santos Costa Journal of Universal Computer Science . 2006,第7期

机译：YAP编译器的设计：用于逻辑编程语言的优化编译器
2. A compiler and run-time system for network programming languages [J] . Christopher Monsanto, Nate Foster, Rob Harrison, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2012,第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. The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages [C] . Anderson Faustino da Silva, Vitor Santos Costa International Conference on Logic Programming(ICLP 2006); 20060817-20; Seattle,WA(US) . 2006

机译：YAP编译器的设计和实现：一种用于逻辑编程语言的优化编译器
5. A THEORY OF PROCESSES (MODEL, PROOF SYSTEM, PROGRAMMING LANGUAGE, PROGRAM SYNTHESIS, TEMPORAL LOGIC). [D] . NGUYEN, VAN LONG. 1985

机译：过程理论（模型，证明系统，编程语言，程序综合，时间逻辑）。
6. Bellman’s GAP—a language and compiler for dynamic programming in sequence analysis [O] . Georg Sauthoff, Mathias Möhl, Stefan Janssen, -1

机译：Bellman的GAP-一种用于序列分析中动态编程的语言和编译器
7. Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic [O] . Mutsunori Banbara, Kyoung-sun Kang 2008

机译：直观的时间线性逻辑片段中的逻辑编程
8. Compiler and Run-time System for Network Programming Languages. [R] . Monsanto, C., Foster, N., Harrison, R., 2012

机译：网络编程语言的编译器和运行时系统。

Intuitionistic Linear Logic Programming Language LLP and its Compiler Systems

著录项

引文网络

相似文献

相关主题

期刊订阅