Theory Pract. Object Syst.最新文献_第8页

Trader Down Under: Upside Down and Inside Out 下面的交易者:颠倒和内外

Theory Pract. Object Syst. Pub Date : 1900-01-01 DOI: 10.1002/(SICI)1096-9942(1997)3:1<15::AID-TAPO3>3.0.CO;2-6

M. Bearman, K. Duddy, K. Raymond, A. Vogel

引用次数: 11

Building Reliable Distributed Systems with CORBA 用CORBA构建可靠的分布式系统

Theory Pract. Object Syst. Pub Date : 1900-01-01 DOI: 10.1002/(SICI)1096-9942(1997)3:1<31::AID-TAPO4>3.0.CO;2-A

Sean Landis, Silvano Maffeis

引用次数: 117

Breaking Through the n3 Barrier: Faster Object Type Inference 突破n3障碍:更快的对象类型推断

Theory Pract. Object Syst. Pub Date : 1900-01-01 DOI: 10.1002/(SICI)1096-9942(199901/03)5:1<57::AID-TAPO5>3.0.CO;2-U

F. Henglein

引用次数: 16

Foundations of Object-Oriented Languages - Introduction 面向对象语言基础-导论

Theory Pract. Object Syst. Pub Date : 1900-01-01 DOI: 10.1002/(SICI)1096-9942(199901/03)5:1<1::AID-TAPO1>3.0.CO;2-Y

B. Pierce

引用次数: 3

Architectural Support for Quality of Service for CORBA Objects 对CORBA对象服务质量的体系结构支持

Theory Pract. Object Syst. Pub Date : 1900-01-01 DOI: 10.1002/(SICI)1096-9942(1997)3:1<55::AID-TAPO6>3.0.CO;2-6

J. Zinky, D. Bakken, R. Schantz

{"title":"Architectural Support for Quality of Service for CORBA Objects","authors":"J. Zinky, D. Bakken, R. Schantz","doi":"10.1002/(SICI)1096-9942(1997)3:1<55::AID-TAPO6>3.0.CO;2-6","DOIUrl":"https://doi.org/10.1002/(SICI)1096-9942(1997)3:1<55::AID-TAPO6>3.0.CO;2-6","url":null,"abstract":"CORBA is a commercial standard for distributed object computing which shows great promise in the development of distributed programs. Its interface description language (IDL) enables objects to be developed independently of the underlying programming language, operating system, or computer architecture on which they will execute. While this is sufficient in many environments, programs deployed in a wide-area distributed system encounter conditions which are much more hostile and varying than those operating in a single address space or within a single local area network. In this paper we discuss four major problems we have observed in our developing and deploying wide-area distributed object applications and middleware. First, most programs are developed ignoring the variable wide area conditions. Second, when application programmers do try to handle these conditions, they have great difficulty because these harsh conditions are different from those of the local objects they are used to dealing with. Third, IDL hides information about the tradeoffs any implementation of an object must make. Fourth, there is presently no way to systematically reuse current technology components which deal with these conditions, so code sharing becomes impractical. In this paper we also describe our architecture, Quality of Service for CORBA Objects (QuO), which we have developed to overcome these limitations and integrate their solution by providing QoS abstractions to CORBA objects. First, it makes these conditions first class entities and integrates knowledge of them over time, space, and source. Second, it reduces their variance by masking. Third, it exposes key design decisions of an object's implementation and how it will be used. Fourth, it supports reuse of various architectural components and automatically generates others. © 1997 John Wiley & Sons, Inc.","PeriodicalId":293061,"journal":{"name":"Theory Pract. Object Syst.","volume":"35 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":"116215975","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}

引用次数: 573

Inheritance of Proofs 证明的继承

Theory Pract. Object Syst. Pub Date : 1900-01-01 DOI: 10.1002/(SICI)1096-9942(1998)4:1<51::AID-TAPO4>3.0.CO;2-A

M. Hofmann, Wolfgang Naraschewski, M. Steffen, T. Stroup

{"title":"Inheritance of Proofs","authors":"M. Hofmann, Wolfgang Naraschewski, M. Steffen, T. Stroup","doi":"10.1002/(SICI)1096-9942(1998)4:1<51::AID-TAPO4>3.0.CO;2-A","DOIUrl":"https://doi.org/10.1002/(SICI)1096-9942(1998)4:1<51::AID-TAPO4>3.0.CO;2-A","url":null,"abstract":"The Curry-Howard isomorphism, a fundamental property shared by many type theories, establishes a direct correspondence between programs and proofs. This suggests that the same structuring principles that ease programming be used to simplify proving as well. To exploit object-oriented structuring mechanisms for veriication, we extend the object-model of Pierce and Turner, based on the higher-order typed-calculus F ! , with a logical component. By enriching the (functional) signature of objects with a speciication, the methods and their correctness proofs are packed together in the objects. The uniform treatment of methods and proofs gives rise in a natural way to object-oriented proving principles | including inheritance of proofs, late binding of proofs, and encapsulation of proofs | as analogues to object-oriented programming principles. We have used Lego, a type-theoretic proof checker, to explore the feasibility of this approach. In particular, we have veriied a small hierarchy of classes. 1. Introduction Many programming languages have been developed to ease modular and structured design of programs. The popularity of powerful structuring techniques, including object-oriented ones, is a convincing argument that those mechanisms support the programming task. Depending on the programming style, they cater to divide-and-conquer strategies for breaking down large programs into abstract data types, modules, objects, or similar. Since the resulting components ideally mirror the decomposition of the problem into conceptually","PeriodicalId":293061,"journal":{"name":"Theory Pract. Object Syst.","volume":"4 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":"130569876","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

A Perspective on Object-Oriented Research 面向对象研究的展望

Theory Pract. Object Syst. Pub Date : 1900-01-01 DOI: 10.1002/j.1096-9942.1995.tb00013.x

P. Wegner

引用次数: 0