Filters








12,760 Hits in 6.7 sec

Correspondence polymorphism for object-oriented languages

Ran Rinat, Menachem Magidor, Scott F. Smith
1999 SIGPLAN notices  
In this paper we propose a new form of polymorphism for object-oriented languages, called correspondence polymorphism. It lies in a different dimension than either parametric or subtype polymorphism.  ...  With this relation, it is possible to reuse non-generic code in various type contexts-not necessarily subtyping or matching contexts-without having to plan ahead for this reuse.  ...  In this paper we propose a new form of polymorphism for object-oriented languages, so-called correspondence polymorphism.  ... 
doi:10.1145/320385.320399 fatcat:k5yizjgcefcy3kmmay6adjhlz4

A simple typed intermediate language for object-oriented languages

Juan Chen, David Tarditi
2005 Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages - POPL '05  
Traditional encodings are not a good match for these goals. We discuss these encodings more in Section 7.  ...  One reason compilers for object-oriented languages have not adopted type-preserving compilation is the complexity of traditional class and object encodings.  ...  CONCLUSION This paper presents a simple typed intermediate language LILC for type-preserving compilation of object-oriented languages.  ... 
doi:10.1145/1040305.1040309 dblp:conf/popl/ChenT05 fatcat:5kjy2rnkmvdmhnbplkcml3mt7m

A simple typed intermediate language for object-oriented languages

Juan Chen, David Tarditi
2005 SIGPLAN notices  
Traditional encodings are not a good match for these goals. We discuss these encodings more in Section 7.  ...  One reason compilers for object-oriented languages have not adopted type-preserving compilation is the complexity of traditional class and object encodings.  ...  CONCLUSION This paper presents a simple typed intermediate language LILC for type-preserving compilation of object-oriented languages.  ... 
doi:10.1145/1047659.1040309 fatcat:jchllf5idzevdo56wwvmogebly

A meta-language for typed object-oriented languages

Giuseppe Castagna
1995 Theoretical Computer Science  
Indeed, to develop a formal study of type systems for object-oriented languages we define a meta-language based on λ& and we show, by a practical example, how it can be used it to prove properties of a  ...  In [13] we defined the λ&-calculus, a simple extension of the typed λcalculus to model typed object-oriented languages.  ...  I am especially grateful to Allyn Dimock, Maribel Fernández and Benjamin Pierce for their precise as well as useful comments on an early version of this paper.  ... 
doi:10.1016/0304-3975(95)00071-4 fatcat:qdwci3rgnjb5rewfisrdfmkiz4

A meta-language for typed object-oriented languages [chapter]

Giuseppe Castagna
1993 Lecture Notes in Computer Science  
Indeed, to develop a formal study of type systems for object-oriented languages we define a meta-language based on λ& and we show, by a practical example, how it can be used it to prove properties of a  ...  In [13] we defined the λ&-calculus, a simple extension of the typed λcalculus to model typed object-oriented languages.  ...  I am especially grateful to Allyn Dimock, Maribel Fernández and Benjamin Pierce for their precise as well as useful comments on an early version of this paper.  ... 
doi:10.1007/3-540-57529-4_43 fatcat:3hdz3btxzrgstpecz2otnbxhsu

On type systems for object-oriented database programming languages

Yuri Leontiev, M. Tamer Özsu, Duane Szafron
2002 ACM Computing Surveys  
A uniform and consistent combination of object orientation and database programming, however, is not straightforward.  ...  The purpose of this article is to answer two questions: "What are the requirements that a modern type system for an object-oriented database programming language should satisfy?"  ...  The latter is introduced to allow for covariant method specification. Subtyping in PolyTOIL is structural, as is matching. The language allows for both subtyping and matching constraints.  ... 
doi:10.1145/592642.592643 fatcat:mz2t56cf6vcpzisqgsckkgy77a

Object-oriented encapsulation for dynamically typed languages

Nathanael Schärli, Andrew P. Black, Stéphane Ducasse
2004 SIGPLAN notices  
Encapsulation in object-oriented languages has traditionally been based on static type systems. As a consequence, dynamically-typed languages have only limited support for encapsulation.  ...  This is surprising, considering that encapsulation is one of the most fundamental and important concepts behind object-oriented programming and that it is essential for writing programs that are maintainable  ...  We are grateful to our colleagues at SCG and OGI for valuable discussions, and in particular to Phil Quitslund for drawing the diagrams.  ... 
doi:10.1145/1035292.1028988 fatcat:apryrrmeifbebgefbb3lboen7u

Coloring, a versatile technique for implementing object-oriented languages

Roland Ducournau
2010 Software, Practice & Experience  
-and they all present inheritance-related features that would not easily match with coloring. So the solution has been to specify and implement a new object-oriented language, Prm.  ...  So, implementation is not a problem with single-subtyping languages. However, there is almost no such languages.  ...  (i.e. 0), together with the extra pointer required for garbage collection for all objects where negative colors are used.  ... 
doi:10.1002/spe.1022 fatcat:atdncp3pxndhdiytu5xal4ousm

Object-oriented encapsulation for dynamically typed languages

Nathanael Sch�rli, Andrew P. Black, St�phane Ducasse
2004 Proceedings of the 19th annual ACM SIGPLAN Conference on Object-oriented programming, systems, languages, and applications - OOPSLA '04  
Encapsulation in object-oriented languages has traditionally been based on static type systems. As a consequence, dynamically-typed languages have only limited support for encapsulation.  ...  This is surprising, considering that encapsulation is one of the most fundamental and important concepts behind object-oriented programming and that it is essential for writing programs that are maintainable  ...  We are grateful to our colleagues at SCG and OGI for valuable discussions, and in particular to Phil Quitslund for drawing the diagrams.  ... 
doi:10.1145/1028976.1028988 dblp:conf/oopsla/ScharliBD04 fatcat:5ldirp6455cjvkzl7odnaci7iy

Business language analysis for object-oriented information systems

D. W. McDavid
1996 IBM Systems Journal  
Part of the answer is found in the vener- able (on a software time-scale) approach of object orientation. Object orientation. Object orientation has been around for a long time.  ...  Business language All object-oriented methodologies call for identify- ing business objects from the problem domain.  ... 
doi:10.1147/sj.352.0128 fatcat:774uvhwnl5f4hfpfp4f4636ka4

Modelica — A unified object-oriented language for physical systems modeling

Hilding Elmqvist
1997 Simulation Practice and Theory  
Among the recent research results in modeling and simulation, two concepts have strong relevance to this problem: Object oriented modeling languages already demonstrated how object oriented concepts can  ...  Examples of object-oriented and/or non-causal modeling languages include: ASCEND, Dymola, gPROMS, NMF, ObjectMath, Omola, SIDOPS+, Smile, U.L.M., ALLAN, and VHDL-AMS.  ...  The authors are thankful for all the feedback that has been obtained from various people that have reviewed different versions of the design.  ... 
doi:10.1016/s0928-4869(97)84257-7 fatcat:thhwmtzlvnd3labq6ibsp3ezmq

An Object-Oriented Language for Modeling of Hybrid Systems

Huixing Fang, Huibiao Zhu, Jianqi Shi
2015 2015 IEEE 16th International Symposium on High Assurance Systems Engineering  
In this paper, we propose Apricot as a novel object-oriented language for modeling hybrid systems.  ...  Moreover, we develop a prototype modeling tool (a plug-in for Eclipse) for our proposed language.  ...  Modelica [15] is a multi-domain object-oriented modelling language, it involves systems relating electrical, mechanical, control, and thermal components.  ... 
doi:10.1109/hase.2015.9 dblp:conf/hase/FangZS15 fatcat:fj3zcnk7ynd4hmkwq424ey3iw4

Relations as semantic constructs in an object-oriented language

James Rumbaugh
1987 Conference proceedings on Object-oriented programming systems, languages and applications - OOPSLA '87  
.l What are relations The relation as a semantic construct in an object-oriented language clearly expresses associations and constraints among objects which would otherwise be buried in implementation  ...  The objectrelation model, which combines the object-oriented model with the entity-relationship model from data base theory, is particularly useful for designing and partitioning systems of interrelated  ...  ACKNOWLEDGMENTS I wish to thank Mike Blaha, Paul Brown, and Ashwin Shah for their valuable comments on the manuscript.  ... 
doi:10.1145/38765.38850 dblp:conf/oopsla/Rumbaugh87 fatcat:hs3iyw2wc5g7foqhg35bemgftu

Declaring and checking non-null types in an object-oriented language

Manuel Fähndrich, K. Rustan M. Leino
2003 Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications - OOPSLA '03  
This paper gives a proposal for retrofitting a language such as C# or Java with non-null types.  ...  It addresses the central complications that arise in constructors, where declared non-null fields may not yet have been initialized, but the partially constructed object is already accessible.  ...  INTRODUCTION Vital to any imperative object-oriented programming language is the ability to distinguish proper objects from some special null object or null objects, commonly provided by the language as  ... 
doi:10.1145/949305.949332 dblp:conf/oopsla/FahndrichL03 fatcat:o6x4cv7h25h3douiwxlh4iytuy

Safe and decidable type checking in an object-oriented language

Kim B. Bruce, Jon Crabtree, Thomas P. Murtagh, Robert van Gent, Allyn Dimock, Robert Muller
1993 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications - OOPSLA '93  
Moreover, he showed that the undecidability arises in t,he seemingly simpler problem of determining whether one type is a subtype of another.  ...  Over the last several years, much interesting work has been done in modelling object-oriented programming languages in terms of extensions of the bounded second-order lambda calculus, Fr.  ...  In this paper we show that type checking for TOOPLE, a minor variant of TOOPL (Typed Object-Oriented Programming Language), is decidable.  ... 
doi:10.1145/165854.165865 dblp:conf/oopsla/BruceCMGDM93 fatcat:mcjokskqujcnbbctdhenij5nma
« Previous Showing results 1 — 15 out of 12,760 results