Questions tagged [abstract-data-types]
The abstract-data-types tag has no usage guidance.
18
questions with no upvoted or accepted answers
2
votes
0
answers
254
views
What's the difference between the two abstract data types collection vs container?
From abstract data types in wiki, I'm reading about two types: collection and container. Can anyone supply a better detailed difference between the difference between the two?
https://en.wikipedia.org/...
2
votes
0
answers
54
views
Differences between a computation model and an abstract data type
I am wondering about the difference between an abstract data type (ADT) and a computation model.
As I understand them:
A computation model defines the basic unit of computation, that is, what can be ...
2
votes
0
answers
17
views
Abstract data types (model, principle of no junk)
I have the following abstract data structure
Now i have to find a model that satisfies the principle of no junk and proof that
Could someone advise me to get to a solution and to understand the ...
2
votes
0
answers
98
views
Simulating extensible sums with dependent types?
ML-style languages have a concept of "extensible" or "open" sum types, where variants can be declared at any point, and there's not a fixed number of constructors for the type. They're usually used to ...
2
votes
0
answers
26
views
Metrics for measuring and scoring automated “code analysis”?
I am writing various "program analysis" (aka static code analysis) algorithms.
I am looking for ideas for metrics to measure how well my algorithms "understand the code".
Some ideas i have so far :
...
2
votes
0
answers
53
views
What is the difference between ADTs and ASDLs?
ASDL stands for Abstract Syntax Description Language (ASDL), whereby ADT stands for Algebraic data type.
By looking at Python.asdl it appears to me to be the same thingy, just with different names, ...
2
votes
0
answers
52
views
Abstract Data Type
I have been studying data structures. In that I have come across topics like Array being defined as Power set of cross product of set of objects and set of natural number and list being defined as ...
2
votes
0
answers
79
views
Functional Core Language representation of tuples
I am writing a compiler for a simple subset of standard ML (just for fun) and I am stuck on how to represent the core language (I should mention that I write it in Haskell probably).
Basically what I ...
1
vote
0
answers
107
views
Textbook on Abstract Data Types
I'm looking for a textbook or reference material to learn about the theory of abstract data types, the ways in which they are specified (axiomatic specification vs abstract model), imperative vs ...
1
vote
0
answers
31
views
Program Transformation to Disintermediate Isomorphic Representation Transforms
Given two representations of the same abstract data type, any optimal program that incorporates one representation has a corresponding optimal program that incorporates the other.
What is the field ...
0
votes
0
answers
37
views
Are arrays “more abstract” than stacks or queues?
It seems to me that an array can be used as a stack or a queue and for various other things.
In my mind this makes an array a higher order abstraction compared to those other two.
Is this an ...
0
votes
0
answers
98
views
Find a bipartition of points using blackbox
Suppose given $n$ pair of points $P=\{(p_1,q_1),\dots,(p_n,q_n)\}$ in the plane that each pair $(p_i,q_i)\in \mathbb{R}^2$ can't belong to the same group. We want to partition points into $K$ groups ...
0
votes
0
answers
648
views
Monotone priority queues
I'm a little confused about how monotone priority queues work.
As far as I understand:
A queue is a FIFO data structure
A priority queue is a queue where the current element of highest (or lowest) ...
0
votes
0
answers
49
views
What is the difference between a Type and an Abstract Type?
In my data structures course we are given definitions for Type and Abstract Type but they confuse me.
A type is a set of values and the operations you can do on them. The set of operations is ...
0
votes
0
answers
156
views
Was there an attempt to create a programming language aimed for maximal abstraction?
I am trying to understand if a programming language can have totally or almost totally the abstraction level shared between generally all human languages so that it would allow a human to code a ...
0
votes
0
answers
94
views
What data structure would be best for a code cross referencer?
I want to write a JavaScript cross referencer (in Python) that will build a cross-reference of JavaScript functions for a given input file. I am trying to think of what Abstract Data Type would work ...
0
votes
0
answers
641
views
Are floats abstract data types?
Source:https://en.wikipedia.org/wiki/Abstract_data_type
Can we say that float data types (or all primitive data types or only integer) are abstract data types?
-2
votes
1
answer
42
views
Is it true to say that machine languages have some degree of abstraction?
I think anyone would agree that assembly languages ("threshold languages") have some very little abstraction but is it true to say that also machine languages have some degree of abstraction?...