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

Semantics and Algebraic Specification最新文献

筛选
英文 中文
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines 面向方案编程语言兼容和可互导的语义规范，第一部分:指称语义、自然语义和抽象机器
Semantics and Algebraic Specification Pub Date : 2008-07-12 DOI: 10.1007/978-3-642-04164-8_9
O. Danvy
{"title":"Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines","authors":"O. Danvy","doi":"10.1007/978-3-642-04164-8_9","DOIUrl":"https://doi.org/10.1007/978-3-642-04164-8_9","url":null,"abstract":"","PeriodicalId":176333,"journal":{"name":"Semantics and Algebraic Specification","volume":"42 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120980939","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
Order-Sorted Parameterization and Induction 有序参数化与归纳
Semantics and Algebraic Specification Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-04164-8_4
J. Meseguer
{"title":"Order-Sorted Parameterization and Induction","authors":"J. Meseguer","doi":"10.1007/978-3-642-04164-8_4","DOIUrl":"https://doi.org/10.1007/978-3-642-04164-8_4","url":null,"abstract":"","PeriodicalId":176333,"journal":{"name":"Semantics and Algebraic Specification","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127190099","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
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines 面向方案编程语言兼容和可互导的语义规范，第二部分:约简语义和抽象机
Semantics and Algebraic Specification Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-04164-8_10
Małgorzata Biernacka, O. Danvy
{"title":"Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines","authors":"Małgorzata Biernacka, O. Danvy","doi":"10.1007/978-3-642-04164-8_10","DOIUrl":"https://doi.org/10.1007/978-3-642-04164-8_10","url":null,"abstract":"","PeriodicalId":176333,"journal":{"name":"Semantics and Algebraic Specification","volume":"28 1-6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123731326","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
An Action Semantics Based on Two Combinators 基于两个组合子的动作语义
Semantics and Algebraic Specification Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-04164-8_14
Kyung-Goo Doh, David A. Schmidt
{"title":"An Action Semantics Based on Two Combinators","authors":"Kyung-Goo Doh, David A. Schmidt","doi":"10.1007/978-3-642-04164-8_14","DOIUrl":"https://doi.org/10.1007/978-3-642-04164-8_14","url":null,"abstract":"","PeriodicalId":176333,"journal":{"name":"Semantics and Algebraic Specification","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131395594","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
Model-Based Testing and the UML Testing Profile 基于模型的测试和UML测试概要
Semantics and Algebraic Specification Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-04164-8_16
P. Krishnan, P. Salas
{"title":"Model-Based Testing and the UML Testing Profile","authors":"P. Krishnan, P. Salas","doi":"10.1007/978-3-642-04164-8_16","DOIUrl":"https://doi.org/10.1007/978-3-642-04164-8_16","url":null,"abstract":"","PeriodicalId":176333,"journal":{"name":"Semantics and Algebraic Specification","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130024636","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
Converting between Combinatory Reduction Systems and Big Step Semantics 组合约简系统与大步语义之间的转换
Semantics and Algebraic Specification Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-04164-8_15
H. Gottliebsen, K. Rose
{"title":"Converting between Combinatory Reduction Systems and Big Step Semantics","authors":"H. Gottliebsen, K. Rose","doi":"10.1007/978-3-642-04164-8_15","DOIUrl":"https://doi.org/10.1007/978-3-642-04164-8_15","url":null,"abstract":"","PeriodicalId":176333,"journal":{"name":"Semantics and Algebraic Specification","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130190414","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
On the Specification and Verification of Model Transformations 模型转换的规范与验证
Semantics and Algebraic Specification Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-04164-8_8
F. Orejas, M. Wirsing
{"title":"On the Specification and Verification of Model Transformations","authors":"F. Orejas, M. Wirsing","doi":"10.1007/978-3-642-04164-8_8","DOIUrl":"https://doi.org/10.1007/978-3-642-04164-8_8","url":null,"abstract":"","PeriodicalId":176333,"journal":{"name":"Semantics and Algebraic Specification","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122704489","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}
引用次数: 30
Mobile Processes and Termination 移动流程和终止
Semantics and Algebraic Specification Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-04164-8_13
R. Demangeon, D. Hirschkoff, D. Sangiorgi
{"title":"Mobile Processes and Termination","authors":"R. Demangeon, D. Hirschkoff, D. Sangiorgi","doi":"10.1007/978-3-642-04164-8_13","DOIUrl":"https://doi.org/10.1007/978-3-642-04164-8_13","url":null,"abstract":"","PeriodicalId":176333,"journal":{"name":"Semantics and Algebraic Specification","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133259352","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
A Constructive Semantics for Basic Aspect Constructs 基本方面结构的构造语义
Semantics and Algebraic Specification Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-04164-8_6
Christiano Braga
{"title":"A Constructive Semantics for Basic Aspect Constructs","authors":"Christiano Braga","doi":"10.1007/978-3-642-04164-8_6","DOIUrl":"https://doi.org/10.1007/978-3-642-04164-8_6","url":null,"abstract":"","PeriodicalId":176333,"journal":{"name":"Semantics and Algebraic Specification","volume":"45 12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125880684","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
Tribute to Peter Mosses 向彼得·莫斯致敬
Semantics and Algebraic Specification Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-04164-8_1
J. Palsberg
{"title":"Tribute to Peter Mosses","authors":"J. Palsberg","doi":"10.1007/978-3-642-04164-8_1","DOIUrl":"https://doi.org/10.1007/978-3-642-04164-8_1","url":null,"abstract":"","PeriodicalId":176333,"journal":{"name":"Semantics and Algebraic Specification","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126773926","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
下一页 尾页
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学术官方微信