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

Theory Pract. Object Syst.最新文献

筛选
英文 中文
Object Identifiers, Keys, and Surrogates: Object Identifiers Revisited 对象标识符、键和代理:重新审视对象标识符
Theory Pract. Object Syst. Pub Date : 1995-02-01 DOI: 10.1002/j.1096-9942.1995.tb00011.x
R. Wieringa, W. D. Jonge
{"title":"Object Identifiers, Keys, and Surrogates: Object Identifiers Revisited","authors":"R. Wieringa, W. D. Jonge","doi":"10.1002/j.1096-9942.1995.tb00011.x","DOIUrl":"https://doi.org/10.1002/j.1096-9942.1995.tb00011.x","url":null,"abstract":"Sound naming schemes for objects are crucial in many parts of computer science, such as database modeling, database implementation, distributed and federated databases, and networked and distributed operating systems. Over the past 20 years, physical pointers, keys, surrogates and object identifiers have been used as naming schemes in database systems and elsewhere. However, there are some persistent confusions about the nature, applicability and limits of these schemes. In this paper we give a detailed comparison of three naming schemes, viz. object identifiers, internal identifiers (often called surrogates) and keys. We discuss several ways in which identification schemes can be implemented, and show what the theoretical and practical limits of applicability of identification schemes are, independently from how they are implemented. In particular, we discuss problems with the recognition and authentication of identifiers. If the identified objects are persons, an additional problem is that object identification may conflict with privacy demands; for this case, we indicate a way in which identification can be combined with privacy protection.","PeriodicalId":293061,"journal":{"name":"Theory Pract. Object Syst.","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133619836","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}
引用次数: 49
Modular Atomic Objects 模块化原子对象
Theory Pract. Object Syst. Pub Date : 1995-02-01 DOI: 10.1002/j.1096-9942.1995.tb00010.x
R. Guerraoui
{"title":"Modular Atomic Objects","authors":"R. Guerraoui","doi":"10.1002/j.1096-9942.1995.tb00010.x","DOIUrl":"https://doi.org/10.1002/j.1096-9942.1995.tb00010.x","url":null,"abstract":"A worthwhile approach to achieve transaction atomic-ity within object-based distributed systems is to connne concurrency control and recovery mechanisms within the shared objects themselves. Such objects, called atomic objects, enhance their modularity and can increase transaction concurrency. Nevertheless, when designed independently , atomic objects can be incompatible, and if combined , do not ensure transaction atomicity anymore. It has been shown that atomic objects can be incompatible when they assume diierent Global Serialization Protocols (GSPs). We deal with the incompatibility problem by introducing a property of atomic object speciications, named o-atomicity, which is orthogonal to the GSP. Objects that guarantee this property achieve transaction atomic-ity, whatever the GSP may be. Such objects are compatible , not only with each others, but also with atomic objects that guarantee previously deened GSP-dependent properties, i.e. static atomicity, dynamic atomicity or hybrid atomicity. This is very desirable since most of existing object-based distributed systems rely on these properties. To show how o-atomicity can be ensured, we propose a generic implementation within an object-oriented framework , which we illustrate through a simple banking application .","PeriodicalId":293061,"journal":{"name":"Theory Pract. Object Syst.","volume":"45 19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125803297","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}
引用次数: 13
Methods as Assertions 作为断言的方法
Theory Pract. Object Syst. Pub Date : 1994-07-04 DOI: 10.1007/BFb0052176
J. Lamping, M. Abadi
{"title":"Methods as Assertions","authors":"J. Lamping, M. Abadi","doi":"10.1007/BFb0052176","DOIUrl":"https://doi.org/10.1007/BFb0052176","url":null,"abstract":"","PeriodicalId":293061,"journal":{"name":"Theory Pract. Object Syst.","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125125388","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}
引用次数: 18
On the Relationship Between Classes, Objects, and Data Abstraction 论类、对象和数据抽象之间的关系
Theory Pract. Object Syst. Pub Date : 1900-01-01 DOI: 10.1002/(SICI)1096-9942(1998)4:1<3::AID-TAPO2>3.3.CO;2-2
Kathleen Fisher, John C. Mitchell
{"title":"On the Relationship Between Classes, Objects, and Data Abstraction","authors":"Kathleen Fisher, John C. Mitchell","doi":"10.1002/(SICI)1096-9942(1998)4:1<3::AID-TAPO2>3.3.CO;2-2","DOIUrl":"https://doi.org/10.1002/(SICI)1096-9942(1998)4:1<3::AID-TAPO2>3.3.CO;2-2","url":null,"abstract":"While most object-oriented programming is done in class-based languages, the trend in theoretical study has been to develop formal systems that are object-based, without classes and often without explicit inheritance mechanisms. This paper studies the correspondence between object primitives and class constructs of the form found in C++, Eiffel, and Java. The main qualitative insight is that such classes require both an extensible aggregate, to serve as the basis for inheritance, and a non-extensible form of object to support subtyping. We compare three approaches to modeling classes, the first using records of object components called “premethods” and the latter two using an extensible form of object called a “prototype.” While the first approach uses fewer primitive operations on objects, it does not provide several important features of class-based languages. In the latter two approaches, we overcome these deficiencies by combining prototypes with standard abstraction mechanisms. All three treatments of classes use translations into provably sound object calculi.","PeriodicalId":293061,"journal":{"name":"Theory Pract. Object Syst.","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":"128649080","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}
引用次数: 45
Type Inference with Constrained Types 约束类型的类型推断
Theory Pract. Object Syst. Pub Date : 1900-01-01 DOI: 10.1002/(SICI)1096-9942(199901/03)5:1<35::AID-TAPO4>3.0.CO;2-4
Martin Odersky, Martin Sulzmann, M. Wehr
{"title":"Type Inference with Constrained Types","authors":"Martin Odersky, Martin Sulzmann, M. Wehr","doi":"10.1002/(SICI)1096-9942(199901/03)5:1<35::AID-TAPO4>3.0.CO;2-4","DOIUrl":"https://doi.org/10.1002/(SICI)1096-9942(199901/03)5:1<35::AID-TAPO4>3.0.CO;2-4","url":null,"abstract":"In this paper we present a general framework HM(X) for Hindley/Milner style type systems with constraints, analogous to the CLP(X) framework in constrained logic programming. We show that the type system is sound with respect to a standard untyped compositional semantics. We present sufficient conditions on the constraint domain X so that the principal types property carries over to HM(X). The conditions turn out to be fairly simple and natural.","PeriodicalId":293061,"journal":{"name":"Theory Pract. Object Syst.","volume":"5 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":"130036268","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}
引用次数: 265
Is the Java Type System Sound? Java类型系统健全吗?
Theory Pract. Object Syst. Pub Date : 1900-01-01 DOI: 10.1002/(SICI)1096-9942(199901/03)5:1<3::AID-TAPO2>3.0.CO;2-T
S. Drossopoulou, S. Eisenbach, S. Khurshid
{"title":"Is the Java Type System Sound?","authors":"S. Drossopoulou, S. Eisenbach, S. Khurshid","doi":"10.1002/(SICI)1096-9942(199901/03)5:1<3::AID-TAPO2>3.0.CO;2-T","DOIUrl":"https://doi.org/10.1002/(SICI)1096-9942(199901/03)5:1<3::AID-TAPO2>3.0.CO;2-T","url":null,"abstract":"A proof of the soundness of the Java type system is a first, necessary step towards demonstrating which Java programs won't compromise computer security. We consider a subset of Java describing primitive types, classes, inheritance, instance variables and methods, interfaces, shadowing, dynamic method binding, object creation, null, arrays, and exception throwing and handling. We argue that for this subset the type system is sound, by proving that program execution preserves the types, up to subclasses/subinterfaces. © 1999 John Wiley & Sons, Inc.","PeriodicalId":293061,"journal":{"name":"Theory Pract. Object Syst.","volume":"23 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":"124540293","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}
引用次数: 114
Introduction to the Special Issue 特刊简介
Theory Pract. Object Syst. Pub Date : 1900-01-01 DOI: 10.5325/utopianstudies.27.3.0426
R. Pareschi, M. Tokoro
{"title":"Introduction to the Special Issue","authors":"R. Pareschi, M. Tokoro","doi":"10.5325/utopianstudies.27.3.0426","DOIUrl":"https://doi.org/10.5325/utopianstudies.27.3.0426","url":null,"abstract":"","PeriodicalId":293061,"journal":{"name":"Theory Pract. Object Syst.","volume":"36 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":"132126355","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
Typed pi-calculus at Work: A Correctness Proof of Jones's Parallelisation Transformation on Concurrent Objects 工作中的类型化pi演算:并发对象上琼斯并行化变换的正确性证明
Theory Pract. Object Syst. Pub Date : 1900-01-01 DOI: 10.1002/(SICI)1096-9942(199901/03)5:1<25::AID-TAPO3>3.3.CO;2-1
D. Sangiorgi
{"title":"Typed pi-calculus at Work: A Correctness Proof of Jones's Parallelisation Transformation on Concurrent Objects","authors":"D. Sangiorgi","doi":"10.1002/(SICI)1096-9942(199901/03)5:1<25::AID-TAPO3>3.3.CO;2-1","DOIUrl":"https://doi.org/10.1002/(SICI)1096-9942(199901/03)5:1<25::AID-TAPO3>3.3.CO;2-1","url":null,"abstract":"Cliff Jones has proposed transformations between concrete programs and general transformation rules that increase concurrency in a system of objects, and has raised the challenge of how to prove their validity. We present a proof of correctness of the hardest of Jones's concrete transformations. The proof uses a typed π-calculus and typed behavioral equivalences. Our type system tracks receptiveness; it guarantees that the input-end of certain channels is always ready to receive messages (at least as long as there are processes that could send such messages), and that all messages will be processed using the same continuation. This work is also intended as an example of the usefulness of π-calculus types for reasoning. © 1999 John Wiley & Sons, Inc.","PeriodicalId":293061,"journal":{"name":"Theory Pract. Object Syst.","volume":"30 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":"122880346","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}
引用次数: 26
Objective ML: An Effective Object-Oriented Extension to ML 目标ML:一个有效的面向对象的ML扩展
Theory Pract. Object Syst. Pub Date : 1900-01-01 DOI: 10.1002/(SICI)1096-9942(1998)4:1<27::AID-TAPO3>3.0.CO;2-4
Didier Rémy, Jérôme Vouillon
{"title":"Objective ML: An Effective Object-Oriented Extension to ML","authors":"Didier Rémy, Jérôme Vouillon","doi":"10.1002/(SICI)1096-9942(1998)4:1<27::AID-TAPO3>3.0.CO;2-4","DOIUrl":"https://doi.org/10.1002/(SICI)1096-9942(1998)4:1<27::AID-TAPO3>3.0.CO;2-4","url":null,"abstract":"Objective ML is a small practical extension to ML with ob- jects and top level classes. It is fully compatible with ML; its type system is based on ML polymorphism, record types with polymorphic access, and a better treatment of type abbreviations. Objective ML allows for most fea- tures of object-oriented languages including multiple in- heritance, methods returning self and binary methods as well as parametric classes. This demonstrates that ob- jects can be added to strongly typed languages based on ML polymorphism. c ∞ 1997 John Wiley & Sons","PeriodicalId":293061,"journal":{"name":"Theory Pract. Object Syst.","volume":"58 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":"124435140","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}
引用次数: 140
Integrating Security in the CORBA Architecture 在CORBA体系结构中集成安全性
Theory Pract. Object Syst. Pub Date : 1900-01-01 DOI: 10.1002/(SICI)1096-9942(1997)3:1<3::AID-TAPO2>3.0.CO;2-Y
R. Deng, S. Bhonsle, Weiguo Wang, A. Lazar
{"title":"Integrating Security in the CORBA Architecture","authors":"R. Deng, S. Bhonsle, Weiguo Wang, A. Lazar","doi":"10.1002/(SICI)1096-9942(1997)3:1<3::AID-TAPO2>3.0.CO;2-Y","DOIUrl":"https://doi.org/10.1002/(SICI)1096-9942(1997)3:1<3::AID-TAPO2>3.0.CO;2-Y","url":null,"abstract":"","PeriodicalId":293061,"journal":{"name":"Theory Pract. Object Syst.","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":"132070065","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学术文献互助群
群 号：481959085
Book学术官方微信