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

Symposium on Programming Language Implementation and Logic Programming最新文献

筛选
英文 中文
Exploiting Parallelism in Tabled Evaluations 利用表计算中的并行性
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1995-09-20 DOI: 10.1007/BFb0026817
J. Freire, Rui Hu, T. Swift, D. Warren
{"title":"Exploiting Parallelism in Tabled Evaluations","authors":"J. Freire, Rui Hu, T. Swift, D. Warren","doi":"10.1007/BFb0026817","DOIUrl":"https://doi.org/10.1007/BFb0026817","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123189583","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}
引用次数: 28
Uniqueness Type Inference 惟一类型推断
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1995-09-20 DOI: 10.1007/BFb0026821
E. Barendsen, S. Smetsers
{"title":"Uniqueness Type Inference","authors":"E. Barendsen, S. Smetsers","doi":"10.1007/BFb0026821","DOIUrl":"https://doi.org/10.1007/BFb0026821","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"213 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123024843","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}
引用次数: 30
Goal-Directed Query Processing in Disjunctive Logic Databases 析取逻辑数据库中的目标导向查询处理
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1995-09-20 DOI: 10.1007/BFb0026833
Y. Shimajiri, Hiroshi Seki, H. Itoh
{"title":"Goal-Directed Query Processing in Disjunctive Logic Databases","authors":"Y. Shimajiri, Hiroshi Seki, H. Itoh","doi":"10.1007/BFb0026833","DOIUrl":"https://doi.org/10.1007/BFb0026833","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"20 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123647894","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}
引用次数: 3
A Verified Implementation of Narrowing 一个经过验证的窄化实现
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1995-09-20 DOI: 10.1007/BFb0026814
H. Faßbender
{"title":"A Verified Implementation of Narrowing","authors":"H. Faßbender","doi":"10.1007/BFb0026814","DOIUrl":"https://doi.org/10.1007/BFb0026814","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133806330","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
Local Linear Logic for Locality Consciousness in Multiset Transformation 多集变换中局部意识的局部线性逻辑
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1995-09-20 DOI: 10.1007/BFb0026830
H. McEvoy, P. Hartel
{"title":"Local Linear Logic for Locality Consciousness in Multiset Transformation","authors":"H. McEvoy, P. Hartel","doi":"10.1007/BFb0026830","DOIUrl":"https://doi.org/10.1007/BFb0026830","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"1080 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116029174","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}
引用次数: 6
Uniform PERs and Comportment Analysis 统一PERs和行为分析
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1995-09-20 DOI: 10.1007/BFb0026820
A. Mycroft, Kirsten Lackner Solberg Gasser
{"title":"Uniform PERs and Comportment Analysis","authors":"A. Mycroft, Kirsten Lackner Solberg Gasser","doi":"10.1007/BFb0026820","DOIUrl":"https://doi.org/10.1007/BFb0026820","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"146 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123734305","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}
引用次数: 6
A Complete Narrowing Calculus for Higher-Order Functional Logic Programming 高阶泛函逻辑规划的完全缩窄演算
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1995-09-20 DOI: 10.1007/BFb0026816
Koichi Nakahara, A. Middeldorp, T. Ida
{"title":"A Complete Narrowing Calculus for Higher-Order Functional Logic Programming","authors":"Koichi Nakahara, A. Middeldorp, T. Ida","doi":"10.1007/BFb0026816","DOIUrl":"https://doi.org/10.1007/BFb0026816","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131468776","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}
引用次数: 23
Lightweight GUIs for Functional Programming 用于函数式编程的轻量级gui
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1995-09-20 DOI: 10.1007/BFb0026829
Ton Vullinghs, Daniel Tuinman, Wolfram Schulte
{"title":"Lightweight GUIs for Functional Programming","authors":"Ton Vullinghs, Daniel Tuinman, Wolfram Schulte","doi":"10.1007/BFb0026829","DOIUrl":"https://doi.org/10.1007/BFb0026829","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127673898","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}
引用次数: 24
The Notion of Floundering for SLDNF-Resolution Revisited 重新审视为sldnf分辨率而苦苦挣扎的概念
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1995-09-20 DOI: 10.1007/BFb0026831
Jean-Hugues Réty
{"title":"The Notion of Floundering for SLDNF-Resolution Revisited","authors":"Jean-Hugues Réty","doi":"10.1007/BFb0026831","DOIUrl":"https://doi.org/10.1007/BFb0026831","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128056341","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
Efficient Compile-Time Garbage Collection for Arbitrary Data Structures 针对任意数据结构的高效编译时垃圾收集
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1995-09-20 DOI: 10.1007/BFb0026824
Markus Mohnen
{"title":"Efficient Compile-Time Garbage Collection for Arbitrary Data Structures","authors":"Markus Mohnen","doi":"10.1007/BFb0026824","DOIUrl":"https://doi.org/10.1007/BFb0026824","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122497569","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}
引用次数: 54
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信