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

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

筛选
英文 中文
An Editor for Helping Novices to Learn Standard ML 帮助新手学习标准ML的编辑器
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1997-09-03 DOI: 10.1007/BFb0033857
J. Whittle, A. Bundy, H. Lowe
{"title":"An Editor for Helping Novices to Learn Standard ML","authors":"J. Whittle, A. Bundy, H. Lowe","doi":"10.1007/BFb0033857","DOIUrl":"https://doi.org/10.1007/BFb0033857","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"24 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":"134179255","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
Transformation of Divide & Conquer to Nested Parallel Loops 分治法到嵌套并行循环的转换
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1997-09-03 DOI: 10.1007/BFb0033839
C. Herrmann, C. Lengauer
{"title":"Transformation of Divide & Conquer to Nested Parallel Loops","authors":"C. Herrmann, C. Lengauer","doi":"10.1007/BFb0033839","DOIUrl":"https://doi.org/10.1007/BFb0033839","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"18 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":"115428615","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
Teaching Functional and Logic Programming with a Single Computational Model 用单一计算模型教授函数和逻辑程序设计
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1997-09-03 DOI: 10.1007/BFb0033854
M. Hanus
{"title":"Teaching Functional and Logic Programming with a Single Computational Model","authors":"M. Hanus","doi":"10.1007/BFb0033854","DOIUrl":"https://doi.org/10.1007/BFb0033854","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-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126383351","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
Overriding Operators in a Mixin-Based Framework 在基于mixin的框架中重写操作符
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1997-09-03 DOI: 10.1007/BFb0033836
D. Ancona, E. Zucca
{"title":"Overriding Operators in a Mixin-Based Framework","authors":"D. Ancona, E. Zucca","doi":"10.1007/BFb0033836","DOIUrl":"https://doi.org/10.1007/BFb0033836","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"36 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132783033","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
Inline Expansion: When and How? 内联扩展:何时以及如何进行?
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1997-09-03 DOI: 10.1007/BFb0033842
M. Serrano
{"title":"Inline Expansion: When and How?","authors":"M. Serrano","doi":"10.1007/BFb0033842","DOIUrl":"https://doi.org/10.1007/BFb0033842","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"194 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113981814","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}
引用次数: 27
An Open-Ended Finite Domain Constraint Solver 一个开放式有限域约束求解器
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1997-09-03 DOI: 10.1007/BFb0033845
M. Carlsson, G. Ottosson, Björn Carlson
{"title":"An Open-Ended Finite Domain Constraint Solver","authors":"M. Carlsson, G. Ottosson, Björn Carlson","doi":"10.1007/BFb0033845","DOIUrl":"https://doi.org/10.1007/BFb0033845","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"42 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":"124061899","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}
引用次数: 388
Where Do I Begin? A Problem Solving Approach in teaching Functional Programming 我从哪里开始?函数式程序设计教学中的问题解决方法
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1997-09-03 DOI: 10.1007/BFb0033853
S. Thompson
{"title":"Where Do I Begin? A Problem Solving Approach in teaching Functional Programming","authors":"S. Thompson","doi":"10.1007/BFb0033853","DOIUrl":"https://doi.org/10.1007/BFb0033853","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":"122103688","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
Tracing Lazy Functional Computations Using Redex Trails 使用Redex跟踪惰性函数计算
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1997-09-03 DOI: 10.1007/BFb0033851
Jan Sparud, C. Runciman
{"title":"Tracing Lazy Functional Computations Using Redex Trails","authors":"Jan Sparud, C. Runciman","doi":"10.1007/BFb0033851","DOIUrl":"https://doi.org/10.1007/BFb0033851","url":null,"abstract":"","PeriodicalId":184725,"journal":{"name":"Symposium on Programming Language Implementation and Logic Programming","volume":"33 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":"123518630","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}
引用次数: 76
Functional Programming and Geometry 函数式编程与几何
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1997-09-03 DOI: 10.1007/BFb0033852
G. Cousineau
{"title":"Functional Programming and Geometry","authors":"G. Cousineau","doi":"10.1007/BFb0033852","DOIUrl":"https://doi.org/10.1007/BFb0033852","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":"128791654","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
A Pragmatic Approach to Compilation of Erlang Erlang的实用编译方法
Symposium on Programming Language Implementation and Logic Programming Pub Date : 1997-09-03 DOI: 10.1007/BFb0033859
E. Johansson, Christer Jonsson, Thomas Lindgren, Johan Bevemyr, Håkan Millroth
{"title":"A Pragmatic Approach to Compilation of Erlang","authors":"E. Johansson, Christer Jonsson, Thomas Lindgren, Johan Bevemyr, Håkan Millroth","doi":"10.1007/BFb0033859","DOIUrl":"https://doi.org/10.1007/BFb0033859","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":"130570525","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
首页 上一页 下一页 尾页
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学术官方微信