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

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

筛选
英文 中文
A Semantic Model of Binding Times for Safe Partial Evaluation 安全部分求值的绑定时间语义模型
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1995-09-20 DOI: 10.1007/BFb0026827
F. Henglein, David Sands
{"title":"A Semantic Model of Binding Times for Safe Partial Evaluation","authors":"F. Henglein, David Sands","doi":"10.1007/BFb0026827","DOIUrl":"https://doi.org/10.1007/BFb0026827","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"51 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":"124946664","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
An Abstract Machine for Oz 奥兹的抽象机器
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1995-09-20 DOI: 10.1007/BFb0026819
Michael Mehl, R. Scheidhauer, Christian Schulte
{"title":"An Abstract Machine for Oz","authors":"Michael Mehl, R. Scheidhauer, Christian Schulte","doi":"10.1007/BFb0026819","DOIUrl":"https://doi.org/10.1007/BFb0026819","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"12 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":"125029694","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}
引用次数: 49
Better Consumers for Deforestation (Extended Abstract) 为森林砍伐提供更好的消费者(扩展摘要)
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1995-09-20 DOI: 10.1007/BFb0026823
W. Chin, Siau-Cheng Khoo
{"title":"Better Consumers for Deforestation (Extended Abstract)","authors":"W. Chin, Siau-Cheng Khoo","doi":"10.1007/BFb0026823","DOIUrl":"https://doi.org/10.1007/BFb0026823","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"44 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":"126633298","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}
引用次数: 5
Gadgets: Lazy Functional Components for Graphical User Interfaces gadget:用于图形用户界面的惰性功能组件
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1995-09-20 DOI: 10.1007/BFb0026828
R. Noble, C. Runciman
{"title":"Gadgets: Lazy Functional Components for Graphical User Interfaces","authors":"R. Noble, C. Runciman","doi":"10.1007/BFb0026828","DOIUrl":"https://doi.org/10.1007/BFb0026828","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"1 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":"129034195","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}
引用次数: 22
Mechanically Verifying the Correctness of an Offline Partial Evaluator 机械验证离线部分求值器的正确性
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1995-09-20 DOI: 10.1007/BFb0026826
J. Hatcliff
{"title":"Mechanically Verifying the Correctness of an Offline Partial Evaluator","authors":"J. Hatcliff","doi":"10.1007/BFb0026826","DOIUrl":"https://doi.org/10.1007/BFb0026826","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"129 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":"124620498","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}
引用次数: 17
Modes of Comprehension: Mode Analysis of Arrays and Array Comprehensions 理解模式:数组和数组理解的模式分析
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1995-09-20 DOI: 10.1007/BFb0026822
Barton C. Massey, E. Tick
{"title":"Modes of Comprehension: Mode Analysis of Arrays and Array Comprehensions","authors":"Barton C. Massey, E. Tick","doi":"10.1007/BFb0026822","DOIUrl":"https://doi.org/10.1007/BFb0026822","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"1 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":"129658732","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}
引用次数: 1
An Expression-Or-Parallel Implementation for a Functional Logic Language 函数逻辑语言的表达式或并行实现
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1995-09-20 DOI: 10.1007/BFb0026838
Werner Hans, F. Sáenz-Pérez, St Winkler
{"title":"An Expression-Or-Parallel Implementation for a Functional Logic Language","authors":"Werner Hans, F. Sáenz-Pérez, St Winkler","doi":"10.1007/BFb0026838","DOIUrl":"https://doi.org/10.1007/BFb0026838","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"66 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":"131576198","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
Minimal Set Unification 最小集统一
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1995-09-20 DOI: 10.1007/BFb0026832
P. Arenas, A. Dovier
{"title":"Minimal Set Unification","authors":"P. Arenas, A. Dovier","doi":"10.1007/BFb0026832","DOIUrl":"https://doi.org/10.1007/BFb0026832","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"42 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":"132266481","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
A Portable Implementation of Memoing Evaluation 记忆求值的可移植实现
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1995-09-20 DOI: 10.1007/BFb0026842
Jens E. Wunderwald
{"title":"A Portable Implementation of Memoing Evaluation","authors":"Jens E. Wunderwald","doi":"10.1007/BFb0026842","DOIUrl":"https://doi.org/10.1007/BFb0026842","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"1 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":"130974435","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}
引用次数: 1
Programming with Constructor Classes (Abstract) 用构造函数类编程(抽象)
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1995-09-20 DOI: 10.1007/BFb0026811
Mark P. Jones
{"title":"Programming with Constructor Classes (Abstract)","authors":"Mark P. Jones","doi":"10.1007/BFb0026811","DOIUrl":"https://doi.org/10.1007/BFb0026811","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"29 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":"131652399","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
首页 上一页 下一页 尾页
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学术官方微信