Towards Understanding Generics in Mainstream OOP
Programming Languages
2018-01-01 v2
Authors:
Moez A. AbdelGawad
Abstract
This article reports on steps towards building a simple and accurate domain-theoretic model of generic nominally-typed OOP.
Cite
@article{arxiv.1605.01480,
title = {Towards Understanding Generics in Mainstream OOP},
author = {Moez A. AbdelGawad},
journal= {arXiv preprint arXiv:1605.01480},
year = {2018}
}
Comments
29 pages
Related papers
View all related →
Programming Languages · Computer Science
Towards an Accurate Mathematical Model of Generic Nominally-Typed OOP
Moez A. AbdelGawad
2016-11-01
Programming Languages · Computer Science
Java Generics: An Order-Theoretic Approach (Abridged Outline)
Moez A. AbdelGawad
2019-06-27
Programming Languages · Computer Science
Java Generics: An Order-Theoretic Approach (Detailed Outline)
Moez A. AbdelGawad
2019-06-11
Programming Languages · Computer Science
Using Category Theory in Modeling Generics in OOP (Outline)
Moez A. AbdelGawad
2019-06-13
Programming Languages · Computer Science
NOOP: A Domain-Theoretic Model of Nominally-Typed OOP
Moez AbdelGawad, Robert Cartwright
2018-01-23
Artificial Intelligence · Computer Science
Generic Ontology Design Patterns: Roles and Change over Time
Bernd Krieg-Brückner, Till Mossakowski, Mihai Codescu
2020-12-11
Programming Languages · Computer Science
A Comparison of NOOP to Structural Domain-Theoretic Models of OOP
Moez A. AbdelGawad
2018-01-01
Artificial Intelligence · Computer Science
Generic Ontology Design Patterns at Work
Bernd Krieg-Brückner, Till Mossakowski, Fabian Neuhaus
2019-06-21
Programming Languages · Computer Science
An Overview of Nominal-Typing versus Structural-Typing in OOP
Moez A. AbdelGawad
2018-01-01
Logic in Computer Science · Computer Science
Extensions of Generic DOL for Generic Ontology Design Patterns
Mihai Codescu, Bernd Krieg-Brückner, Till Mossakowski
2019-06-17
Programming Languages · Computer Science
Domain Theory for Modeling OOP: A Summary
Moez A. AbdelGawad
2014-07-01
Artificial Intelligence · Computer Science
Modelling Concurrent Behaviors in the Process Specification Language
Dai Tri Man Le
2009-07-17
Programming Languages · Computer Science
A simpler encoding of indexed types
Tesla Zhang
2021-07-07
Programming Languages · Computer Science
Doubly F-Bounded Generics
Moez A. AbdelGawad
2018-09-10
Software Engineering · Computer Science
The Generic SysML/KAOS Domain Metamodel
Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar +1
2019-03-12
Programming Languages · Computer Science
A Type-Based Complexity Analysis of Object Oriented Programs
Emmanuel Hainry, Romain Péchoux
2018-02-20
Machine Learning · Computer Science
Generalizing to Unseen Domains: A Survey on Domain Generalization
Jindong Wang, Cuiling Lan, Chang Liu, Yidong Ouyang +5
2022-05-25
Logic in Computer Science · Computer Science
Regular Typed Unification
João Barbosa, Mário Florido, Vítor Santos Costa
2025-02-14
Computer Vision and Pattern Recognition · Computer Science
TDG: Text-guided Domain Generalization
Geng Liu, Yuxi Wang
2023-08-22
Logic in Computer Science · Computer Science
Generic bidirectional typing for dependent type theories
Thiago Felicissimo
2024-04-22
Software Engineering · Computer Science
Engineering Conceptual Data Models from Domain Ontologies: A Critical Evaluation
Haya El-Ghalayini, Mohammed Odeh, Richard McClatchey
2007-05-23
Computer Vision and Pattern Recognition · Computer Science
A Stochastic Grammar for Natural Shapes
Pedro F. Felzenszwalb
2014-12-23
Computation and Language · Computer Science
OneNet: Joint Domain, Intent, Slot Prediction for Spoken Language Understanding
Young-Bum Kim, Sungjin Lee, Karl Stratos
2018-01-17
Machine Learning · Computer Science
Batch Normalization Embeddings for Deep Domain Generalization
Mattia Segu, Alessio Tonioni, Federico Tombari
2021-05-19
Programming Languages · Computer Science
Generic Description of Well-Scoped, Well-Typed Syntaxes
Gergő Érdi
2018-04-03