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

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

筛选
英文 中文
On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics 论指称语义程序的不动点/迭代/变型归纳法证明
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2019-10-08 DOI: 10.1007/978-3-030-45260-5_1
P. Cousot
{"title":"On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics","authors":"P. Cousot","doi":"10.1007/978-3-030-45260-5_1","DOIUrl":"https://doi.org/10.1007/978-3-030-45260-5_1","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":"2019-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124723001","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
Trace Analysis Using an Event-Driven Interval Temporal Logic 使用事件驱动间隔时间逻辑的跟踪分析
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2019-10-08 DOI: 10.1007/978-3-030-45260-5_11
M. Gallardo, L. Panizo
{"title":"Trace Analysis Using an Event-Driven Interval Temporal Logic","authors":"M. Gallardo, L. Panizo","doi":"10.1007/978-3-030-45260-5_11","DOIUrl":"https://doi.org/10.1007/978-3-030-45260-5_11","url":null,"abstract":"","PeriodicalId":445192,"journal":{"name":"International Workshop/Symposium on Logic-based Program Synthesis and Transformation","volume":"34 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":"132365228","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
Semi-inversion of Conditional Constructor Term Rewriting Systems 条件构造函数项重写系统的半反转
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2019-10-08 DOI: 10.1007/978-3-030-45260-5_15
M. H. Kirkeby, R. Glück
{"title":"Semi-inversion of Conditional Constructor Term Rewriting Systems","authors":"M. H. Kirkeby, R. Glück","doi":"10.1007/978-3-030-45260-5_15","DOIUrl":"https://doi.org/10.1007/978-3-030-45260-5_15","url":null,"abstract":"","PeriodicalId":445192,"journal":{"name":"International Workshop/Symposium on Logic-based Program Synthesis and Transformation","volume":"27 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":"128464786","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
Verified Construction of Fair Voting Rules 公平投票规则的验证构建
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2019-10-08 DOI: 10.1007/978-3-030-45260-5_6
Karsten Diekhoff, Michael Kirsten, Jonas Krämer
{"title":"Verified Construction of Fair Voting Rules","authors":"Karsten Diekhoff, Michael Kirsten, Jonas Krämer","doi":"10.1007/978-3-030-45260-5_6","DOIUrl":"https://doi.org/10.1007/978-3-030-45260-5_6","url":null,"abstract":"","PeriodicalId":445192,"journal":{"name":"International Workshop/Symposium on Logic-based Program Synthesis and Transformation","volume":"103 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":"124785807","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
Computing Abstract Distances in Logic Programs 逻辑程序中抽象距离的计算
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2019-07-30 DOI: 10.1007/978-3-030-45260-5_4
Ignacio Casso, J. Morales, P. López-García, M. Hermenegildo
{"title":"Computing Abstract Distances in Logic Programs","authors":"Ignacio Casso, J. Morales, P. López-García, M. Hermenegildo","doi":"10.1007/978-3-030-45260-5_4","DOIUrl":"https://doi.org/10.1007/978-3-030-45260-5_4","url":null,"abstract":"","PeriodicalId":445192,"journal":{"name":"International Workshop/Symposium on Logic-based Program Synthesis and Transformation","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133813973","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
Compiling Control as Offline Partial Deduction 编译控制为离线部分演绎
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2018-08-16 DOI: 10.1007/978-3-030-13838-7_7
V. Nys, D. D. Schreye
{"title":"Compiling Control as Offline Partial Deduction","authors":"V. Nys, D. D. Schreye","doi":"10.1007/978-3-030-13838-7_7","DOIUrl":"https://doi.org/10.1007/978-3-030-13838-7_7","url":null,"abstract":"","PeriodicalId":445192,"journal":{"name":"International Workshop/Symposium on Logic-based Program Synthesis and Transformation","volume":"68 Supplement_1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133417744","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
Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms 结合性和交换性公理的同胚嵌入模组合
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2018-08-15 DOI: 10.1007/978-3-030-13838-7_3
M. Alpuente, A. Cuenca-Ortega, Santiago Escobar, J. Meseguer
{"title":"Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms","authors":"M. Alpuente, A. Cuenca-Ortega, Santiago Escobar, J. Meseguer","doi":"10.1007/978-3-030-13838-7_3","DOIUrl":"https://doi.org/10.1007/978-3-030-13838-7_3","url":null,"abstract":"","PeriodicalId":445192,"journal":{"name":"International Workshop/Symposium on Logic-based Program Synthesis and Transformation","volume":"348 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131478424","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
Multiparty Classical Choreographies 多方古典编舞
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2018-08-15 DOI: 10.1007/978-3-030-13838-7_4
Marco Carbone, L. Cruz-Filipe, F. Montesi, Agata Murawska
{"title":"Multiparty Classical Choreographies","authors":"Marco Carbone, L. Cruz-Filipe, F. Montesi, Agata Murawska","doi":"10.1007/978-3-030-13838-7_4","DOIUrl":"https://doi.org/10.1007/978-3-030-13838-7_4","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":"2018-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114547887","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
A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference 一种实用的、可扩展的基于经典线性逻辑推理的构造校正过程组合方法
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2018-08-15 DOI: 10.1007/978-3-030-13838-7_5
P. Papapanagiotou, Jacques D. Fleuriot
{"title":"A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference","authors":"P. Papapanagiotou, Jacques D. Fleuriot","doi":"10.1007/978-3-030-13838-7_5","DOIUrl":"https://doi.org/10.1007/978-3-030-13838-7_5","url":null,"abstract":"","PeriodicalId":445192,"journal":{"name":"International Workshop/Symposium on Logic-based Program Synthesis and Transformation","volume":"121 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123271569","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 Assertion language for slicing Constraint Logic Languages 一种用于切片约束逻辑语言的断言语言
International Workshop/Symposium on Logic-based Program Synthesis and Transformation Pub Date : 2018-08-14 DOI: 10.1007/978-3-030-13838-7_9
M. Falaschi, C. Olarte
{"title":"An Assertion language for slicing Constraint Logic Languages","authors":"M. Falaschi, C. Olarte","doi":"10.1007/978-3-030-13838-7_9","DOIUrl":"https://doi.org/10.1007/978-3-030-13838-7_9","url":null,"abstract":"","PeriodicalId":445192,"journal":{"name":"International Workshop/Symposium on Logic-based Program Synthesis and Transformation","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134134169","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
首页 上一页 下一页 尾页
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学术官方微信