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

REX Workshop最新文献

筛选
英文 中文
Specializtion in Logic Programming: from Horn Clause Logic to Prolog and Concurrent Prolog 逻辑编程专门化:从霍恩子句逻辑到Prolog和并发Prolog
REX Workshop Pub Date : 1989-05-29 DOI: 10.1007/3-540-52559-9_73
J. Kok
{"title":"Specializtion in Logic Programming: from Horn Clause Logic to Prolog and Concurrent Prolog","authors":"J. Kok","doi":"10.1007/3-540-52559-9_73","DOIUrl":"https://doi.org/10.1007/3-540-52559-9_73","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129391114","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
Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement Mappings Abadi & Lamport and Stark:对口吃，密集域和细化映射的证明理论
REX Workshop Pub Date : 1989-05-29 DOI: 10.1007/3-540-52559-9_66
Eduard Diepstraten, R. Kuiper
{"title":"Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement Mappings","authors":"Eduard Diepstraten, R. Kuiper","doi":"10.1007/3-540-52559-9_66","DOIUrl":"https://doi.org/10.1007/3-540-52559-9_66","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"111 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114097127","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
Foundations of Compositional Program Refinement - Safety Properties 组合程序细化的基础-安全属性
REX Workshop Pub Date : 1989-05-29 DOI: 10.1007/3-540-52559-9_87
R. Gerth
{"title":"Foundations of Compositional Program Refinement - Safety Properties","authors":"R. Gerth","doi":"10.1007/3-540-52559-9_87","DOIUrl":"https://doi.org/10.1007/3-540-52559-9_87","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126880961","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}
引用次数: 42
Predicated, Predicate Transformers and Refinement 谓词，谓词转换和细化
REX Workshop Pub Date : 1989-05-29 DOI: 10.1007/3-540-52559-9_86
J. Zwiers
{"title":"Predicated, Predicate Transformers and Refinement","authors":"J. Zwiers","doi":"10.1007/3-540-52559-9_86","DOIUrl":"https://doi.org/10.1007/3-540-52559-9_86","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130721323","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
From Trace Specifications to Process Terms 从跟踪规格到工艺条款
REX Workshop Pub Date : 1989-05-29 DOI: 10.1007/3-540-52559-9_80
E. Olderog
{"title":"From Trace Specifications to Process Terms","authors":"E. Olderog","doi":"10.1007/3-540-52559-9_80","DOIUrl":"https://doi.org/10.1007/3-540-52559-9_80","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122605266","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
Refinement of Concurrent Systems Based on Local State Transformations 基于局部状态变换的并发系统改进
REX Workshop Pub Date : 1989-05-29 DOI: 10.1007/3-540-52559-9_82
L. Pomello
{"title":"Refinement of Concurrent Systems Based on Local State Transformations","authors":"L. Pomello","doi":"10.1007/3-540-52559-9_82","DOIUrl":"https://doi.org/10.1007/3-540-52559-9_82","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116104831","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
Analysis of Discrete Event Coordination 离散事件协调分析
REX Workshop Pub Date : 1989-05-29 DOI: 10.1007/3-540-52559-9_74
R. Kurshan
{"title":"Analysis of Discrete Event Coordination","authors":"R. Kurshan","doi":"10.1007/3-540-52559-9_74","DOIUrl":"https://doi.org/10.1007/3-540-52559-9_74","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131216534","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}
引用次数: 168
Functional Specification of Time Sensitive Communicating Systems 时间敏感通信系统的功能规范
REX Workshop Pub Date : 1989-05-29 DOI: 10.1007/3-540-52559-9_64
M. Broy
{"title":"Functional Specification of Time Sensitive Communicating Systems","authors":"M. Broy","doi":"10.1007/3-540-52559-9_64","DOIUrl":"https://doi.org/10.1007/3-540-52559-9_64","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"5 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123636082","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
Refinement Calculus, Part I: Sequential Nondeterministic Programs 精细微积分，第一部分:顺序不确定性规划
REX Workshop Pub Date : 1989-05-29 DOI: 10.1007/3-540-52559-9_60
R. Back, Joakim von Wright
{"title":"Refinement Calculus, Part I: Sequential Nondeterministic Programs","authors":"R. Back, Joakim von Wright","doi":"10.1007/3-540-52559-9_60","DOIUrl":"https://doi.org/10.1007/3-540-52559-9_60","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115840406","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}
引用次数: 178
Transformation of Combined Data Type and Process Specifications Using Projection Algebras 用投影代数变换组合数据类型和过程规范
REX Workshop Pub Date : 1989-05-29 DOI: 10.1007/3-540-52559-9_69
Martin Große-Rhode, H. Ehrig
{"title":"Transformation of Combined Data Type and Process Specifications Using Projection Algebras","authors":"Martin Große-Rhode, H. Ehrig","doi":"10.1007/3-540-52559-9_69","DOIUrl":"https://doi.org/10.1007/3-540-52559-9_69","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131659015","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}
引用次数: 16
首页 上一页 下一页 尾页
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学术官方微信