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

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

筛选
英文 中文
Formal Translations Described by Translation Grammars with LR(k) Input Grammars 使用LR(k)输入语法的翻译语法描述的正式翻译
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1997-09-03 DOI: 10.1007/BFb0033860
Jan Janousek, B. Melichar
{"title":"Formal Translations Described by Translation Grammars with LR(k) Input Grammars","authors":"Jan Janousek, B. Melichar","doi":"10.1007/BFb0033860","DOIUrl":"https://doi.org/10.1007/BFb0033860","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"54 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":"134151058","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
Transformations for Efficient Evaluations in Functional Programming 函数式编程中高效求值的转换
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1997-09-03 DOI: 10.1007/BFb0033841
Salvador Lucas
{"title":"Transformations for Efficient Evaluations in Functional Programming","authors":"Salvador Lucas","doi":"10.1007/BFb0033841","DOIUrl":"https://doi.org/10.1007/BFb0033841","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"32 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":"133231363","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
Introducing the Declarative Dungeon 介绍声明式地下城
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1997-09-03 DOI: 10.1007/BFb0033858
D. D. Roure
{"title":"Introducing the Declarative Dungeon","authors":"D. D. Roure","doi":"10.1007/BFb0033858","DOIUrl":"https://doi.org/10.1007/BFb0033858","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"1 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":"130041694","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
Selective Recomputation for Handling Side-Effects in Parallel Logic Programs 并行逻辑程序中处理副作用的选择性重计算
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1997-09-03 DOI: 10.1007/BFb0033850
Zhiyi Huang, Chengzheng Sun, A. Sattar
{"title":"Selective Recomputation for Handling Side-Effects in Parallel Logic Programs","authors":"Zhiyi Huang, Chengzheng Sun, A. Sattar","doi":"10.1007/BFb0033850","DOIUrl":"https://doi.org/10.1007/BFb0033850","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"205 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":"123257378","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
Automatic Run-Time Code Generation in Object-Oriented Languages 面向对象语言中的自动运行时代码生成
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1997-09-03 DOI: 10.1007/BFb0033861
N. Fujinami
{"title":"Automatic Run-Time Code Generation in Object-Oriented Languages","authors":"N. Fujinami","doi":"10.1007/BFb0033861","DOIUrl":"https://doi.org/10.1007/BFb0033861","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"32 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":"121694364","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
Narrowing the Narrowing Space 缩小缩小的空间
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1997-09-03 DOI: 10.1007/BFb0033833
S. Antoy, Z. M. Ariola
{"title":"Narrowing the Narrowing Space","authors":"S. Antoy, Z. M. Ariola","doi":"10.1007/BFb0033833","DOIUrl":"https://doi.org/10.1007/BFb0033833","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"8 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":"125148091","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}
引用次数: 13
Evaluation Under Lambda Abstraction Lambda抽象下的求值
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1997-09-03 DOI: 10.1007/BFb0033849
H. Xi
{"title":"Evaluation Under Lambda Abstraction","authors":"H. Xi","doi":"10.1007/BFb0033849","DOIUrl":"https://doi.org/10.1007/BFb0033849","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"6 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":"128077645","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
Transforming Lazy Functions Using Comportment Properties 使用属性转换惰性函数
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1997-09-03 DOI: 10.1007/BFb0033840
R. Paterson
{"title":"Transforming Lazy Functions Using Comportment Properties","authors":"R. Paterson","doi":"10.1007/BFb0033840","DOIUrl":"https://doi.org/10.1007/BFb0033840","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"30 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":"116941280","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
Implementation of Term Rewritings with the Evaluation Strategy 评价策略下学期改写的实施
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1997-09-03 DOI: 10.1007/BFb0033847
K. Ogata, K. Futatsugi
{"title":"Implementation of Term Rewritings with the Evaluation Strategy","authors":"K. Ogata, K. Futatsugi","doi":"10.1007/BFb0033847","DOIUrl":"https://doi.org/10.1007/BFb0033847","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"22 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":"127448353","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}
引用次数: 20
Semantics and Compilation of Recursive Sequential Streams in 8½ 递归顺序流的语义和编译
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1997-09-03 DOI: 10.1007/BFb0033846
Jean-Louis Giavitto, D. D. Vito, Olivier Michel
{"title":"Semantics and Compilation of Recursive Sequential Streams in 8½","authors":"Jean-Louis Giavitto, D. D. Vito, Olivier Michel","doi":"10.1007/BFb0033846","DOIUrl":"https://doi.org/10.1007/BFb0033846","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"25 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":"126791011","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
下一页 尾页
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学术官方微信