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

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

筛选
英文 中文
Generalized beta-Reduction and Explicit Substitution 广义-还原与显式取代
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1996-09-24 DOI: 10.1007/3-540-61756-6_98
Fairouz Kamareddine, Alejandro Ríos
{"title":"Generalized beta-Reduction and Explicit Substitution","authors":"Fairouz Kamareddine, Alejandro Ríos","doi":"10.1007/3-540-61756-6_98","DOIUrl":"https://doi.org/10.1007/3-540-61756-6_98","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"138 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":"124350673","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
ProFun - A Language for Executable Specifications ProFun -一种可执行规范的语言
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1996-09-24 DOI: 10.1007/3-540-61756-6_93
T. Gehrke, M. Huhn
{"title":"ProFun - A Language for Executable Specifications","authors":"T. Gehrke, M. Huhn","doi":"10.1007/3-540-61756-6_93","DOIUrl":"https://doi.org/10.1007/3-540-61756-6_93","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"54 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":"124161923","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}
引用次数: 4
Controlling Conjunctive Partial Deduction 控制合取部分演绎
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1996-09-24 DOI: 10.1007/3-540-61756-6_83
R. Glück, J. Jørgensen, Bern Martens, M. Sørensen
{"title":"Controlling Conjunctive Partial Deduction","authors":"R. Glück, J. Jørgensen, Bern Martens, M. Sørensen","doi":"10.1007/3-540-61756-6_83","DOIUrl":"https://doi.org/10.1007/3-540-61756-6_83","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"28 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":"123619519","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
Calculate Polytypically! 计算Polytypically !
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1996-09-24 DOI: 10.1007/3-540-61756-6_73
L. Meertens
{"title":"Calculate Polytypically!","authors":"L. Meertens","doi":"10.1007/3-540-61756-6_73","DOIUrl":"https://doi.org/10.1007/3-540-61756-6_73","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"27 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":"132444675","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}
引用次数: 50
Context-Sensitive Computations in Confluent Programs 融合程序中的上下文敏感计算
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1996-09-24 DOI: 10.1007/3-540-61756-6_100
Salvador Lucas
{"title":"Context-Sensitive Computations in Confluent Programs","authors":"Salvador Lucas","doi":"10.1007/3-540-61756-6_100","DOIUrl":"https://doi.org/10.1007/3-540-61756-6_100","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"25 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":"124572691","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}
引用次数: 9
Functional Skeletons Generate Process Topologies in Eden 功能骨架在Eden中生成过程拓扑
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1996-09-24 DOI: 10.1007/3-540-61756-6_92
Luis A. Galán, C. Pareja-Flores, Ricardo Peña-Marí
{"title":"Functional Skeletons Generate Process Topologies in Eden","authors":"Luis A. Galán, C. Pareja-Flores, Ricardo Peña-Marí","doi":"10.1007/3-540-61756-6_92","DOIUrl":"https://doi.org/10.1007/3-540-61756-6_92","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"53 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":"128659079","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
Limits of ML-Definability ml可定义性的限制
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1996-09-24 DOI: 10.1007/3-540-61756-6_74
Stefan Kahrs
{"title":"Limits of ML-Definability","authors":"Stefan Kahrs","doi":"10.1007/3-540-61756-6_74","DOIUrl":"https://doi.org/10.1007/3-540-61756-6_74","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"5 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":"117318545","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
Towards Independent And-Parallelism in CLP
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1996-09-24 DOI: 10.1007/3-540-61756-6_78
M. G. D. L. Banda, F. Bueno, M. Hermenegildo
{"title":"Towards Independent And-Parallelism in CLP","authors":"M. G. D. L. Banda, F. Bueno, M. Hermenegildo","doi":"10.1007/3-540-61756-6_78","DOIUrl":"https://doi.org/10.1007/3-540-61756-6_78","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"48 3 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":"130852241","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}
引用次数: 21
From Term Rewriting to Generalised Interaction Nets 从术语重写到广义交互网络
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1996-09-24 DOI: 10.1007/3-540-61756-6_94
M. Fernández, I. Mackie
{"title":"From Term Rewriting to Generalised Interaction Nets","authors":"M. Fernández, I. Mackie","doi":"10.1007/3-540-61756-6_94","DOIUrl":"https://doi.org/10.1007/3-540-61756-6_94","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"14 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":"116223185","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
PIDGETS - Unifying Pictures and Widgets in a Constraint-Based Framework for Concurrent Functional GUI Programming PIDGETS——在基于约束的框架中统一图片和小部件，用于并发功能GUI编程
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1996-09-24 DOI: 10.1007/3-540-61756-6_97
Enno Scholz
{"title":"PIDGETS - Unifying Pictures and Widgets in a Constraint-Based Framework for Concurrent Functional GUI Programming","authors":"Enno Scholz","doi":"10.1007/3-540-61756-6_97","DOIUrl":"https://doi.org/10.1007/3-540-61756-6_97","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"1 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":"129309906","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}
引用次数: 7
首页 上一页 下一页 尾页
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学术官方微信