发布求助
文献互助 智能选刊 最新文献

ICLP-Workshops on Implementation of Logic Programming Systems最新文献

筛选
英文 中文
A Framework for Sharing Analysis 共享分析框架
ICLP-Workshops on Implementation of Logic Programming Systems Pub Date : 1900-01-01 DOI: 10.1007/978-1-4615-2690-2_10
A. King
{"title":"A Framework for Sharing Analysis","authors":"A. King","doi":"10.1007/978-1-4615-2690-2_10","DOIUrl":"https://doi.org/10.1007/978-1-4615-2690-2_10","url":null,"abstract":"","PeriodicalId":154777,"journal":{"name":"ICLP-Workshops on Implementation of Logic Programming Systems","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115271651","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Turbo Erlang: Approaching the Speed of C Turbo Erlang:接近C语言的速度
ICLP-Workshops on Implementation of Logic Programming Systems Pub Date : 1900-01-01 DOI: 10.1007/978-1-4615-2690-2_9
Bogumil Hausman
{"title":"Turbo Erlang: Approaching the Speed of C","authors":"Bogumil Hausman","doi":"10.1007/978-1-4615-2690-2_9","DOIUrl":"https://doi.org/10.1007/978-1-4615-2690-2_9","url":null,"abstract":"","PeriodicalId":154777,"journal":{"name":"ICLP-Workshops on Implementation of Logic Programming Systems","volume":"289 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133674431","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 53
Implementing Sets with Hash Tabels in Declarative Languages 在声明性语言中用哈希表实现集合
ICLP-Workshops on Implementation of Logic Programming Systems Pub Date : 1900-01-01 DOI: 10.1007/978-1-4615-2690-2_15
G. Succi, G. Marino, C. Dondina, Angelo Bergamini
{"title":"Implementing Sets with Hash Tabels in Declarative Languages","authors":"G. Succi, G. Marino, C. Dondina, Angelo Bergamini","doi":"10.1007/978-1-4615-2690-2_15","DOIUrl":"https://doi.org/10.1007/978-1-4615-2690-2_15","url":null,"abstract":"","PeriodicalId":154777,"journal":{"name":"ICLP-Workshops on Implementation of Logic Programming Systems","volume":"94 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123412665","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Concurrent Logic Programs a la Mode 并发逻辑程序的模式
ICLP-Workshops on Implementation of Logic Programming Systems Pub Date : 1900-01-01 DOI: 10.1007/978-1-4615-2690-2_16
E. Tick, Barton C. Massey, F. Rakoczi, Putthi Tulayathun
{"title":"Concurrent Logic Programs a la Mode","authors":"E. Tick, Barton C. Massey, F. Rakoczi, Putthi Tulayathun","doi":"10.1007/978-1-4615-2690-2_16","DOIUrl":"https://doi.org/10.1007/978-1-4615-2690-2_16","url":null,"abstract":"","PeriodicalId":154777,"journal":{"name":"ICLP-Workshops on Implementation of Logic Programming Systems","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125085088","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
MProlog: an Implementation Overview MProlog:一个实现概述
ICLP-Workshops on Implementation of Logic Programming Systems Pub Date : 1900-01-01 DOI: 10.1007/978-1-4615-2690-2_8
Zsuzsa Farkas, P. Köves, P. Szeredi
{"title":"MProlog: an Implementation Overview","authors":"Zsuzsa Farkas, P. Köves, P. Szeredi","doi":"10.1007/978-1-4615-2690-2_8","DOIUrl":"https://doi.org/10.1007/978-1-4615-2690-2_8","url":null,"abstract":"","PeriodicalId":154777,"journal":{"name":"ICLP-Workshops on Implementation of Logic Programming Systems","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128009104","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Divided We Stand: Parallel Distributed Stack Memory Management 分我们站:并行分布式堆栈内存管理
ICLP-Workshops on Implementation of Logic Programming Systems Pub Date : 1900-01-01 DOI: 10.1007/978-1-4615-2690-2_13
K. Shen, M. Hermenegildo
{"title":"Divided We Stand: Parallel Distributed Stack Memory Management","authors":"K. Shen, M. Hermenegildo","doi":"10.1007/978-1-4615-2690-2_13","DOIUrl":"https://doi.org/10.1007/978-1-4615-2690-2_13","url":null,"abstract":"","PeriodicalId":154777,"journal":{"name":"ICLP-Workshops on Implementation of Logic Programming Systems","volume":"2020 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129395467","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 181
How Concurrent Logic Programming Could Benefit from Using Linda-like Operations 并发逻辑编程如何从使用类似linda的操作中获益
ICLP-Workshops on Implementation of Logic Programming Systems Pub Date : 1900-01-01 DOI: 10.1007/978-1-4615-2690-2_4
G. Czajkowski, K. Zielinski
{"title":"How Concurrent Logic Programming Could Benefit from Using Linda-like Operations","authors":"G. Czajkowski, K. Zielinski","doi":"10.1007/978-1-4615-2690-2_4","DOIUrl":"https://doi.org/10.1007/978-1-4615-2690-2_4","url":null,"abstract":"","PeriodicalId":154777,"journal":{"name":"ICLP-Workshops on Implementation of Logic Programming Systems","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129502342","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Memory Management in Quintus Prolog Quintus Prolog中的内存管理
ICLP-Workshops on Implementation of Logic Programming Systems Pub Date : 1900-01-01 DOI: 10.1007/978-1-4615-2690-2_3
Jim A. Crammond, Tim Lindholm
{"title":"Memory Management in Quintus Prolog","authors":"Jim A. Crammond, Tim Lindholm","doi":"10.1007/978-1-4615-2690-2_3","DOIUrl":"https://doi.org/10.1007/978-1-4615-2690-2_3","url":null,"abstract":"","PeriodicalId":154777,"journal":{"name":"ICLP-Workshops on Implementation of Logic Programming Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131073646","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
To Trim or Not to Trim? 修剪还是不修剪?
ICLP-Workshops on Implementation of Logic Programming Systems Pub Date : 1900-01-01 DOI: 10.1007/978-1-4615-2690-2_12
Jacques Noyé
{"title":"To Trim or Not to Trim?","authors":"Jacques Noyé","doi":"10.1007/978-1-4615-2690-2_12","DOIUrl":"https://doi.org/10.1007/978-1-4615-2690-2_12","url":null,"abstract":"","PeriodicalId":154777,"journal":{"name":"ICLP-Workshops on Implementation of Logic Programming Systems","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122902855","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 33
Implementing Logic Programming Systems: The Quiche-Eating Approach 实现逻辑编程系统:吃蛋饼的方法
ICLP-Workshops on Implementation of Logic Programming Systems Pub Date : 1900-01-01 DOI: 10.1007/978-1-4615-2690-2_5
S. Debray
{"title":"Implementing Logic Programming Systems: The Quiche-Eating Approach","authors":"S. Debray","doi":"10.1007/978-1-4615-2690-2_5","DOIUrl":"https://doi.org/10.1007/978-1-4615-2690-2_5","url":null,"abstract":"","PeriodicalId":154777,"journal":{"name":"ICLP-Workshops on Implementation of Logic Programming Systems","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116218079","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信