Object type (object-oriented programming)
Semantic Scholar uses AI to extract papers important to this topic.
In an integrated development environment, the ability to manage the evolution of a software system in terms of logical… (More)
Regular expression types have been proposed as a foundation for statically typed processing of XML and similar forms of tree… (More)
- ACM Trans. Softw. Eng. Methodol.
Object-oriented design methodologies represent the behavior of instances of an object type not merely by a set of operations, but… (More)
This paper investigates an approach for statically preventing race conditions in an object-oriented language. The setting of this… (More)
This paper formalizes a small object-oriented programming notation. The notation features imperative commands where objects can… (More)
- Electr. Notes Theor. Comput. Sci.
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli’s imperative object calculus… (More)
We present an interpretation of typed object-oriented concepts in terms of well-understood, purely procedural concepts. More… (More)
This paper addresses the issue of giving a formal semantics to an object-oriented programming and specification language. Object… (More)
In this paper we formalise data models that are based on the concept of predicator, the combination of an object type and a role… (More)
- Texts and Monographs in Computer Science
ion, Localization, Refinement, and Incremental Design The term conceptual modeling in this book refers to the specification of… (More)