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

International Workshop/Symposium on Logic-based Program Synthesis and Transformation最新文献

筛选
英文 中文
A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms 通过数量级的徒步旅行:导出闭简单型Lambda项和正规形式的有效生成器
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2016-08-12 DOI: 10.1007/978-3-319-63139-4_14
Paul Tarau
{"title":"A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms","authors":"Paul Tarau","doi":"10.1007/978-3-319-63139-4_14","DOIUrl":"https://doi.org/10.1007/978-3-319-63139-4_14","url":null,"abstract":"","PeriodicalId":445192,"journal":{"name":"International Workshop/Symposium on Logic-based Program Synthesis and Transformation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125554792","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}
引用次数: 11
MiniZinc with Strings 使用字符串进行最小化
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2016-08-12 DOI: 10.1007/978-3-319-63139-4_4
R. Amadini, P. Flener, J. Pearson, Joseph D. Scott, Peter James Stuckey, Guido Tack
{"title":"MiniZinc with Strings","authors":"R. Amadini, P. Flener, J. Pearson, Joseph D. Scott, Peter James Stuckey, Guido Tack","doi":"10.1007/978-3-319-63139-4_4","DOIUrl":"https://doi.org/10.1007/978-3-319-63139-4_4","url":null,"abstract":"","PeriodicalId":445192,"journal":{"name":"International Workshop/Symposium on Logic-based Program Synthesis and Transformation","volume":"391 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132082218","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}
引用次数: 14
Verification of Time-Aware Business Processes using Constrained Horn Clauses 使用约束角子句验证具有时间意识的业务流程
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2016-08-09 DOI: 10.1007/978-3-319-63139-4_3
E. D. Angelis, F. Fioravanti, M. Meo, A. Pettorossi, M. Proietti
{"title":"Verification of Time-Aware Business Processes using Constrained Horn Clauses","authors":"E. D. Angelis, F. Fioravanti, M. Meo, A. Pettorossi, M. Proietti","doi":"10.1007/978-3-319-63139-4_3","DOIUrl":"https://doi.org/10.1007/978-3-319-63139-4_3","url":null,"abstract":"","PeriodicalId":445192,"journal":{"name":"International Workshop/Symposium on Logic-based Program Synthesis and Transformation","volume":"102 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115102769","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
A Formal, Resource Consumption-Preserving Translation of Actors to Haskell 一种形式的、资源消耗守恒的actor到Haskell的翻译
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2016-08-09 DOI: 10.1007/978-3-319-63139-4_2
E. Albert, Nikolaos Bezirgiannis, F. D. Boer, Enrique Martin-Martin
{"title":"A Formal, Resource Consumption-Preserving Translation of Actors to Haskell","authors":"E. Albert, Nikolaos Bezirgiannis, F. D. Boer, Enrique Martin-Martin","doi":"10.1007/978-3-319-63139-4_2","DOIUrl":"https://doi.org/10.1007/978-3-319-63139-4_2","url":null,"abstract":"","PeriodicalId":445192,"journal":{"name":"International Workshop/Symposium on Logic-based Program Synthesis and Transformation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130846096","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
Scaling Bounded Model Checking by Transforming Programs with Arrays 用数组变换程序的尺度有界模型检验
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2016-06-22 DOI: 10.1007/978-3-319-63139-4_16
Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C
{"title":"Scaling Bounded Model Checking by Transforming Programs with Arrays","authors":"Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C","doi":"10.1007/978-3-319-63139-4_16","DOIUrl":"https://doi.org/10.1007/978-3-319-63139-4_16","url":null,"abstract":"","PeriodicalId":445192,"journal":{"name":"International Workshop/Symposium on Logic-based Program Synthesis and Transformation","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129953299","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}
引用次数: 8
Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks 基于静态程序分析和基本块演化建模的能量界推断
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2016-01-12 DOI: 10.1007/978-3-319-94460-9_4
U. Liqat, Z. Bankovic, P. López-García, M. Hermenegildo
{"title":"Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks","authors":"U. Liqat, Z. Bankovic, P. López-García, M. Hermenegildo","doi":"10.1007/978-3-319-94460-9_4","DOIUrl":"https://doi.org/10.1007/978-3-319-94460-9_4","url":null,"abstract":"","PeriodicalId":445192,"journal":{"name":"International Workshop/Symposium on Logic-based Program Synthesis and Transformation","volume":"91 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-01-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120840714","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
CHR in Action 人权行动
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2015-07-13 DOI: 10.1007/978-3-319-27436-2_22
A. Ismail, Nada Sharaf, Slim Abdennadher
{"title":"CHR in Action","authors":"A. Ismail, Nada Sharaf, Slim Abdennadher","doi":"10.1007/978-3-319-27436-2_22","DOIUrl":"https://doi.org/10.1007/978-3-319-27436-2_22","url":null,"abstract":"","PeriodicalId":445192,"journal":{"name":"International Workshop/Symposium on Logic-based Program Synthesis and Transformation","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121110525","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
Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges 为什么使用CP组合求解器?问题与挑战
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2015-07-13 DOI: 10.1007/978-3-319-27436-2_21
R. Amadini, M. Gabbrielli, J. Mauro
{"title":"Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges","authors":"R. Amadini, M. Gabbrielli, J. Mauro","doi":"10.1007/978-3-319-27436-2_21","DOIUrl":"https://doi.org/10.1007/978-3-319-27436-2_21","url":null,"abstract":"","PeriodicalId":445192,"journal":{"name":"International Workshop/Symposium on Logic-based Program Synthesis and Transformation","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129023368","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
A Type-Theoretic Approach to Resolution 解析的类型论方法
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2015-07-13 DOI: 10.1007/978-3-319-27436-2_6
Peng Fu, Ekaterina Komendantskaya
{"title":"A Type-Theoretic Approach to Resolution","authors":"Peng Fu, Ekaterina Komendantskaya","doi":"10.1007/978-3-319-27436-2_6","DOIUrl":"https://doi.org/10.1007/978-3-319-27436-2_6","url":null,"abstract":"","PeriodicalId":445192,"journal":{"name":"International Workshop/Symposium on Logic-based Program Synthesis and Transformation","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123981556","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}
引用次数: 11
Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis 使用动态下推网络自动化模块化信息流分析
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2015-07-13 DOI: 10.1007/978-3-319-27436-2_12
H. Mantel, M. Müller-Olm, Matthias Perner, A. Wenner
{"title":"Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis","authors":"H. Mantel, M. Müller-Olm, Matthias Perner, A. Wenner","doi":"10.1007/978-3-319-27436-2_12","DOIUrl":"https://doi.org/10.1007/978-3-319-27436-2_12","url":null,"abstract":"","PeriodicalId":445192,"journal":{"name":"International Workshop/Symposium on Logic-based Program Synthesis and Transformation","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122390088","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学术文献互助群
群 号：604180095
Book学术官方微信