Program correctness over abstract data types, with error-state semantics
Program correctness over abstract data types, with error-state semantics
Universal algebra in higher types
Theoretical Computer Science
The formal semantics of programming languages: an introduction
The formal semantics of programming languages: an introduction
Handbook of logic in computer science (vol. 1)
Recursion theory on the reals and continuous-time computation
Theoretical Computer Science - Special issue on real numbers and computers
Recursive characterization of computable real-valued functions and relations
Theoretical Computer Science - Special issue on real numbers and computers
Computable functions and semicomputable sets on many-sorted algebras
Handbook of logic in computer science
Abstract computability and algebraic specification
ACM Transactions on Computational Logic (TOCL)
Mathematical Theory of Program Correctness
Mathematical Theory of Program Correctness
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
A New Approach to Abstract Data Types II: Computation on ADTs as Ordinary Computation
CSL '91 Proceedings of the 5th Workshop on Computer Science Logic
Real recursive functions and their hierarchy
Journal of Complexity
Hi-index | 0.00 |
This paper compares two scheme-based models of computation on abstract many-sorted algebras A: Feferman's system ACP(A) of "abstract computational procedures" based on a least fixed point operator, and Tucker and Zucker's system μPR(A) based on primitive recursion on the naturals together with a least number operator. We prove a conjecture of Feferman that (assuming contains sorts for natural numbers and arrays of data) the two systems are equivalent. The main step in the proof is showing the equivalence of both systems to a system Rec(A) of computation by an imperative programming language with recursive calls. The result provides a confirmation for a Generalized Church-Turing Thesis for computation on abstract data types.