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

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

筛选
英文 中文
Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs 基于抽象依赖图的多人随机博弈验证
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2020-09-07 DOI: 10.1007/978-3-030-68446-4_13
Søren Enevoldsen, Mathias Claus Jensen, K. Larsen, Anders Mariegaard, J. Srba
{"title":"Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs","authors":"Søren Enevoldsen, Mathias Claus Jensen, K. Larsen, Anders Mariegaard, J. Srba","doi":"10.1007/978-3-030-68446-4_13","DOIUrl":"https://doi.org/10.1007/978-3-030-68446-4_13","url":null,"abstract":"","PeriodicalId":445192,"journal":{"name":"International Workshop/Symposium on Logic-based Program Synthesis and Transformation","volume":"100 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116165073","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
S-semantics - an example s语义——一个例子
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2020-06-10 DOI: 10.1007/978-3-030-98869-2_4
W. Drabent
{"title":"S-semantics - an example","authors":"W. Drabent","doi":"10.1007/978-3-030-98869-2_4","DOIUrl":"https://doi.org/10.1007/978-3-030-98869-2_4","url":null,"abstract":"","PeriodicalId":445192,"journal":{"name":"International Workshop/Symposium on Logic-based Program Synthesis and Transformation","volume":"238 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121066957","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
Pattern Eliminating Transformations 模式消除转换
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2020-02-12 DOI: 10.1007/978-3-030-68446-4_4
Horatiu Cirstea, Pierre FJ Lermusiaux, Pierre-Etienne Moreau
{"title":"Pattern Eliminating Transformations","authors":"Horatiu Cirstea, Pierre FJ Lermusiaux, Pierre-Etienne Moreau","doi":"10.1007/978-3-030-68446-4_4","DOIUrl":"https://doi.org/10.1007/978-3-030-68446-4_4","url":null,"abstract":"","PeriodicalId":445192,"journal":{"name":"International Workshop/Symposium on Logic-based Program Synthesis and Transformation","volume":"86 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125101226","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
Solving Proximity Constraints 求解邻近约束
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2019-10-08 DOI: 10.1007/978-3-030-45260-5_7
Temur Kutsia, Cleo Pau
{"title":"Solving Proximity Constraints","authors":"Temur Kutsia, Cleo Pau","doi":"10.1007/978-3-030-45260-5_7","DOIUrl":"https://doi.org/10.1007/978-3-030-45260-5_7","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":"2019-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115034402","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
Generalization-Driven Semantic Clone Detection in CLP CLP中泛化驱动的语义克隆检测
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2019-10-08 DOI: 10.1007/978-3-030-45260-5_14
Wim Vanhoof, Gonzague Yernaux
{"title":"Generalization-Driven Semantic Clone Detection in CLP","authors":"Wim Vanhoof, Gonzague Yernaux","doi":"10.1007/978-3-030-45260-5_14","DOIUrl":"https://doi.org/10.1007/978-3-030-45260-5_14","url":null,"abstract":"","PeriodicalId":445192,"journal":{"name":"International Workshop/Symposium on Logic-based Program Synthesis and Transformation","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122278636","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
An Integrated Approach to Assertion-Based Random Testing in Prolog Prolog中基于断言的随机测试集成方法
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2019-10-08 DOI: 10.1007/978-3-030-45260-5_10
Ignacio Casso, J. Morales, P. López-García, M. Hermenegildo
{"title":"An Integrated Approach to Assertion-Based Random Testing in Prolog","authors":"Ignacio Casso, J. Morales, P. López-García, M. Hermenegildo","doi":"10.1007/978-3-030-45260-5_10","DOIUrl":"https://doi.org/10.1007/978-3-030-45260-5_10","url":null,"abstract":"","PeriodicalId":445192,"journal":{"name":"International Workshop/Symposium on Logic-based Program Synthesis and Transformation","volume":"796 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130457512","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
A Port Graph Rewriting Approach to Relational Database Modelling 关系型数据库建模的端口图重写方法
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2019-10-08 DOI: 10.1007/978-3-030-45260-5_13
M. Fernández, Bruno Pinaud, János Varga
{"title":"A Port Graph Rewriting Approach to Relational Database Modelling","authors":"M. Fernández, Bruno Pinaud, János Varga","doi":"10.1007/978-3-030-45260-5_13","DOIUrl":"https://doi.org/10.1007/978-3-030-45260-5_13","url":null,"abstract":"","PeriodicalId":445192,"journal":{"name":"International Workshop/Symposium on Logic-based Program Synthesis and Transformation","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116859246","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
A Certified Functional Nominal C-Unification Algorithm 一个证明功能标称c -统一算法
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2019-10-08 DOI: 10.1007/978-3-030-45260-5_8
M. Ayala-Rincón, M. Fernández, Gabriel Ferreira Silva, D. Nantes-Sobrinho
{"title":"A Certified Functional Nominal C-Unification Algorithm","authors":"M. Ayala-Rincón, M. Fernández, Gabriel Ferreira Silva, D. Nantes-Sobrinho","doi":"10.1007/978-3-030-45260-5_8","DOIUrl":"https://doi.org/10.1007/978-3-030-45260-5_8","url":null,"abstract":"","PeriodicalId":445192,"journal":{"name":"International Workshop/Symposium on Logic-based Program Synthesis and Transformation","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123298069","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
Incremental Analysis of Logic Programs with Assertions and Open Predicates 具有断言和开放谓词的逻辑程序的增量分析
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2019-10-08 DOI: 10.1007/978-3-030-45260-5_3
I. Garcia-Contreras, J. Morales, M. Hermenegildo
{"title":"Incremental Analysis of Logic Programs with Assertions and Open Predicates","authors":"I. Garcia-Contreras, J. Morales, M. Hermenegildo","doi":"10.1007/978-3-030-45260-5_3","DOIUrl":"https://doi.org/10.1007/978-3-030-45260-5_3","url":null,"abstract":"","PeriodicalId":445192,"journal":{"name":"International Workshop/Symposium on Logic-based Program Synthesis and Transformation","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128022749","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
Synthesizing Imperative Code from Answer Set Programming Specifications 从答案集编程规范合成命令式代码
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2019-10-08 DOI: 10.1007/978-3-030-45260-5_5
S. Varanasi, Elmer Salazar, N. Mittal, G. Gupta
{"title":"Synthesizing Imperative Code from Answer Set Programming Specifications","authors":"S. Varanasi, Elmer Salazar, N. Mittal, G. Gupta","doi":"10.1007/978-3-030-45260-5_5","DOIUrl":"https://doi.org/10.1007/978-3-030-45260-5_5","url":null,"abstract":"","PeriodicalId":445192,"journal":{"name":"International Workshop/Symposium on Logic-based Program Synthesis and Transformation","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133739487","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
首页 上一页 下一页 尾页
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学术官方微信