Computation on abstract data types. The extensional approach, with an application to streams (Q1923575): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0168-0072(96)88189-9 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1973997468 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4001603 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computable functionals of finite types / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3855168 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3890680 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4202934 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A new approach to abstract data types, I Informal development / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5812175 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Recursive Functionals and Quantifiers of Finite Types I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3281965 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5344164 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4124327 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3734395 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The formal language of recursion / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Effective operations on partial recursive functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Shorter Notes: A Note on the Failure of the Relativized Enumeration Theorem in Recursive Function Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4108313 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4842541 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3999156 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3141916 / rank | |||
Normal rank |
Latest revision as of 15:05, 24 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Computation on abstract data types. The extensional approach, with an application to streams |
scientific article |
Statements
Computation on abstract data types. The extensional approach, with an application to streams (English)
0 references
19 March 1997
0 references
The paper continues the author's previous results on a general theory of computation to be applied to many-sorted functional structures as abstract data types. The proposed approach is based on a form of generalized recursion theory which uses schemata for explicit definition, conditional definition and least fixed point recursion in functionals of type level less than two over any appropriate structure. One of the main contributions of the paper is to separate the extensional part of the proposed theory and to show how abstract computational procedures may be applied to \(A\)-streams (with \(A\) an arbitrary set), in particular to finite nonterminating streams, to infinite streams, and even to more general (``gappy'') streams.
0 references
\(A\)-stream computation
0 references
general theory of computation
0 references
many-sorted functional structures
0 references
abstract data types
0 references
generalized recursion theory
0 references
0 references