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

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

筛选
英文 中文
Inheritance and Selective Methods Dispatching in Concurrent Haskell 并发Haskell中的继承和选择方法调度
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1997-09-03 DOI: 10.1007/BFb0033835
J. E. Gallardo, Francisco Gutiérrez, B. Ruiz
{"title":"Inheritance and Selective Methods Dispatching in Concurrent Haskell","authors":"J. E. Gallardo, Francisco Gutiérrez, B. Ruiz","doi":"10.1007/BFb0033835","DOIUrl":"https://doi.org/10.1007/BFb0033835","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"7 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126119396","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
Reflections on Reflections 反思的反思
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1997-09-03 DOI: 10.1007/BFb0033848
G. Barthe, J. Hatcliff, M. Sørensen
{"title":"Reflections on Reflections","authors":"G. Barthe, J. Hatcliff, M. Sørensen","doi":"10.1007/BFb0033848","DOIUrl":"https://doi.org/10.1007/BFb0033848","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114375246","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
DrScheme: A Pedagogic Programming Environment for Scheme DrScheme:一个用于Scheme的教学编程环境
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1997-09-03 DOI: 10.1007/BFb0033856
R. Findler, C. Flanagan, M. Flatt, S. Krishnamurthi, M. Felleisen
{"title":"DrScheme: A Pedagogic Programming Environment for Scheme","authors":"R. Findler, C. Flanagan, M. Flatt, S. Krishnamurthi, M. Felleisen","doi":"10.1007/BFb0033856","DOIUrl":"https://doi.org/10.1007/BFb0033856","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"132 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131303547","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}
引用次数: 106
Logic Implemented Functionally 功能实现逻辑
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1997-09-03 DOI: 10.1007/BFb0033855
N. Eisinger, Tim Geisler, Sven Panne
{"title":"Logic Implemented Functionally","authors":"N. Eisinger, Tim Geisler, Sven Panne","doi":"10.1007/BFb0033855","DOIUrl":"https://doi.org/10.1007/BFb0033855","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114021020","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
On Object Calculus with Algebraic Rewriting 关于对象微积分的代数改写
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1997-09-03 DOI: 10.1007/BFb0033834
Adriana B. Compagnoni, M. Fernández
{"title":"On Object Calculus with Algebraic Rewriting","authors":"Adriana B. Compagnoni, M. Fernández","doi":"10.1007/BFb0033834","DOIUrl":"https://doi.org/10.1007/BFb0033834","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122300955","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
Resolution for Logic Programming with Universal Quantifiers 具有全称量词的逻辑规划的解析
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1997-09-03 DOI: 10.1007/BFb0033837
A. F. Bowers, P. Hill, Francisco Ibañez
{"title":"Resolution for Logic Programming with Universal Quantifiers","authors":"A. F. Bowers, P. Hill, Francisco Ibañez","doi":"10.1007/BFb0033837","DOIUrl":"https://doi.org/10.1007/BFb0033837","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"162 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129979639","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}
引用次数: 2
Intuitionistic Implication in Abstract Interpretation 抽象解释的直觉意蕴
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1997-09-03 DOI: 10.1007/BFb0033844
R. Giacobazzi, F. Scozzari
{"title":"Intuitionistic Implication in Abstract Interpretation","authors":"R. Giacobazzi, F. Scozzari","doi":"10.1007/BFb0033844","DOIUrl":"https://doi.org/10.1007/BFb0033844","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"50 10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126350524","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}
引用次数: 18
A Declarative Approach to Concurrent Programming 并发编程的声明式方法
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1997-09-01 DOI: 10.1007/BFb0033838
Steve Gregory
{"title":"A Declarative Approach to Concurrent Programming","authors":"Steve Gregory","doi":"10.1007/BFb0033838","DOIUrl":"https://doi.org/10.1007/BFb0033838","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116614104","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}
引用次数: 10
The LOL Deductive Database Programming Language (Extended Abstract) LOL演绎数据库编程语言(扩展摘要)
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1996-09-24 DOI: 10.1007/3-540-61756-6_103
Mengchi Liu
{"title":"The LOL Deductive Database Programming Language (Extended Abstract)","authors":"Mengchi Liu","doi":"10.1007/3-540-61756-6_103","DOIUrl":"https://doi.org/10.1007/3-540-61756-6_103","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-09-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127273899","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
An Efficient and Precise Sharing Domain for Logic Programs 一种高效精确的逻辑程序共享域
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1996-09-24 DOI: 10.1007/3-540-61756-6_104
Christian Fecht
{"title":"An Efficient and Precise Sharing Domain for Logic Programs","authors":"Christian Fecht","doi":"10.1007/3-540-61756-6_104","DOIUrl":"https://doi.org/10.1007/3-540-61756-6_104","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-09-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128645919","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
首页 上一页 下一页 尾页
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学术官方微信