Corpus ID: 685728

Domain Theory for Modeling OOP: A Summary

@article{AbdelGawad2014DomainTF,
  title={Domain Theory for Modeling OOP: A Summary},
  author={Moez A. AbdelGawad},
  journal={ArXiv},
  year={2014},
  volume={abs/1406.7497}
}
Domain theory is `a mathematical theory that serves as a foundation for the semantics of programming languages'. Domains form the basis of a theory of partial information, which extends the familiar notion of partial function to encompass a whole spectrum of "degrees of definedness", so as to model incremental higher-order computation (i.e., computing with infinite data values, such as functions defined over an infinite domain like the domain of integers, infinite trees, and such as objects of… Expand
NOOP: A Domain-Theoretic Model of Nominally-Typed OOP
TLDR
The construction of NOOP is presented as the first domain-theoretic model of OOP that includes full class/type names information found in nominally-typed OOP, proving that type inheritance and subtyping are completely identified in these languages. Expand
A Comparison of NOOP to Structural Domain-Theoretic Models of OOP
TLDR
This paper compares NOOP to the most widely known domain-theoretic models of OOP, namely, the models developed by Cardelli and Cook, which were structurally-typed models. Expand
A Comparison of NOOP to Structural Domain-Theoretic Models of Object-Oriented Programming
TLDR
This paper compares NOOP to the most widely known domain-theoretic models of OOP, namely, the models developed by Cardelli and Cook, which were structurally-typed models. Expand
2 9 M ar 2 01 6 A Comparison of NOOP to Structural Domain-Theoretic Models of Object-Oriented Programming
Mainstream object-oriented programming (OOP) languages such as Java, C#, C++ and Scala are all almost entirely nominally-typed. NOOP is a recently developed domain-theoretic model of OOP that wasExpand
Novel Uses of Category Theory in Modeling OOP
TLDR
Four new potential applications of category theory to OOP research are presented and the use of operads to model Java subtyping, Yoneda's lemma, representable functors and adjoint functors are used. Expand
Towards Understanding Generics in Mainstream OOP
This article reports on steps towards building a simple and accurate domain-theoretic model of generic nominally-typed OOP.
Towards Understanding Generics
This article reports on steps towards building a simple and accurate domain-theoretic model of generic nominally-typed OOP.
A topology on lattice-ordered groups
We introduce the concept of the strong-positive cone in a lattice-ordered group (G,6, ·) and define the continuous latticeordered group. We also investigate the C-topology and bi-C-topology given onExpand
Category Theory for Modeling OOP
An outline and summary of four new applications of category theory to OOP research are presented.

References

SHOWING 1-10 OF 47 REFERENCES
A Domain-Theoretic Model Of Nominally-Typed Object-Oriented Programming
TLDR
The construction of NOOP is summarized, in full agreement with intuitions of OO developers using these languages, and contrary to the belief that ''inheritance is not subtyping'', which came from assuming non-nominal structural models ofOO type systems. Expand
NOOP: A Nominal Mathematical Model of Object-Oriented Programming
TLDR
The construction of NOOP is presented as the first domain-theoretic model of OOP to include nominal information found in nominally-typed mainstream OO software, proving that inheritance and subtyping are completely identified in these languages. Expand
Domain theory
bases were introduced in [Smy77] where they are called “R-structures”. Examples of abstract bases are concrete bases of continuous domains, of course, where the relation≺ is the restriction of theExpand
Concrete Domains
TLDR
This paper introduces the theory of a particular kind of computation domains called concrete domains, a satisfactory framework for the notions of coroutine computation and sequentiality of evaluation, and follows Scott's approach in general. Expand
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
TLDR
Treats various kinds of languages, beginning with the pure-lambda-calculus and progressing through languages with states, commands, jumps, and assignments. Expand
Design Concepts in Programming Languages
TLDR
This comprehensive text uses a simple and concise framework to teach key ideas in programming language design and implementation, based on a family of syntactically simple pedagogical languages that allow students to explore programming language concepts systematically. Expand
Lectures on a Mathematical Theory of Computation
TLDR
These notes were originally written for lectures on the semantics of programming languages delivered at Oxford during Michaelmas Term 1980 to provide the foundations needed for the method of denotational semantics. Expand
Tω as a Universal Domain
Abstract In mathematical semantics, in the sense of Scott, the question arises of what domains of interpretation should be chosen. It has been felt by the author, and others, that lattices are theExpand
Data Types as Lattices
  • D. Scott
  • Computer Science
  • SIAM J. Comput.
  • 1976
Elements of Set Theory
In the words of GeorgC antor (1845-1918) ,t he creator of Set Theory and the modern theory of the Infinite, a set (or class) is " a collection into a whole, of definite, well-distinguished objects ofExpand
...
1
2
3
4
5
...