Questions tagged [object-oriented]
The object-oriented tag has no usage guidance.
17
questions
2
votes
0
answers
51
views
Formal semantics of a simple object oriented language without inheritance but with self-referential objects
Would you please point me to some papers or textbooks that describe rigorously a formal semantics/computational model of a simple object-oriented language? The language needs not accommodate ...
- 354
0
votes
1
answer
115
views
Formal differences between emulation and simulation?
Recently this question came up, and I've been unable to find a concrete answer.
When I was reading this paper on CRDTs, I was a little perplexed by the notion of emulation here in theorems 3.1 and 3.2....
- 11
3
votes
1
answer
131
views
Encapsulation of OOP and referential transparency of functional programming
I would like to understand more about the 'orthogonality' of OOP and functional programming.
What makes me confused is the 'encapsulation' of OOP and 'referential transparency of functional ...
- 131
8
votes
2
answers
805
views
What category are Tagless Final Algebras final In?
The Haskell and Scala community have been very enamored recently with what they call tagless final 'pattern' of programming. These are referenced as dual to initial free algebras, so I was wondering ...
- 575
4
votes
0
answers
616
views
Why did Caml become OCaml? (or, why use objects in F#?)
I have been programming in F# for a decade and in that time I have found that when I am working within the purely functional aspects, ie. the ML lambdas, tuples, generics, etc, that everything is ...
- 149
-2
votes
1
answer
113
views
Mathematical analogy to objects (as in object orientation)? [closed]
Data structures are similar to variables.
Algorithms to functions. Objects combine both data and algorithms. Is there a mathematical object / concept that combines variables and functions?
0
votes
0
answers
180
views
Theoretical background of Classes and Objects
I would like to learn about the possible ways of formalizing Classes and Objects (in programing languages like java) using formal languages. Where should I start? This might be related to my previous ...
- 101
0
votes
0
answers
67
views
Specification language for specifying both Objects and Primitive data types
I am looking for an specification language, which supports both primitive data types and objects. I already know about Object-Z. But I am wondering if there is any other Specification language that I ...
- 101
4
votes
0
answers
85
views
Non-objected oriented type theories that can express the $\nu Obj$ calculus
Odersky et al.'s $\nu Obj$ calculus [1] adds just enough dependent typeness on top of object oriented programming to express interfaces that define types (and consequently module systems and other ...
- 3,243
1
vote
0
answers
111
views
Object-Oriented Programming Languages based on assignment
Is it correct to claim that an object-oriented programming language based on assignment (e.g., Java and Smalltalk) introduces mutability and hence complexity in concurrent applications ?
In other ...
- 111
8
votes
3
answers
3k
views
What's the relation between OOP and category theory?
What's the relation between OOP and category theory? Is there some related work on this topic one can read?
- 559
3
votes
3
answers
296
views
Is there a language with strong typed interfaces where types resolution are "delayed"?
I know that this question it not entirely theoretical, but I think that's the place where is more probable that someone knows the answer.
The question is: is there any OO strong typed language where ...
- 143
2
votes
1
answer
252
views
A few questions about Object-Oriented Languages in general
I was not a big fan of Object-Oriented Languages (OOL), but recently started to learn a bit more about their pros and cons in a general setting instead of diving into one such language. I have a few ...
- 2,765
4
votes
1
answer
313
views
Classes and types in object-oriented languages
In typical object-oriented programming languages like Java, classes are used as types. On the other hand, type-theoretic approaches to object-oriented languages treat interfaces as types.
Are there ...
- 4,796
10
votes
2
answers
1k
views
Ownership types and Separation Logic
Ownership types and Separation Logic seem to have similar goals, control over ownership and aliasing. Perhaps, I should also add: the ability to write modular specifications.
What is known about the ...
- 4,796
9
votes
2
answers
1k
views
Formal Definition/counter part in mathematics for “Objects” of Object Oriented Models
This is a question I asked in mathematics SE forum, and I was referred here. So here is the question-
I'm a newbie in both formal mathematics and theoretical computer science, so please bear with me ...
- 193
17
votes
1
answer
4k
views
How does inheritance differ from subtyping?
In programming language perspective, what is mean by subtyping? I heard that "Inheritance is not Subtyping". Then what are the differences between inheritance and subtyping?
- 273