Computer Science – Programming Languages
Scientific paper
2009-11-10
Computer Science
Programming Languages
17 pages; notational mistakes in tables 5 and 6 corrected; erroneous definition at bottom of page 9 corrected
Scientific paper
Interaction with services provided by an execution environment forms part of the behaviours exhibited by instruction sequences under execution. Mechanisms related to the kind of interaction in question have been proposed in the setting of thread algebra. Like thread, service is an abstract behavioural concept. The concept of a functional unit is similar to the concept of a service, but more concrete. A state space is inherent in the concept of a functional unit, whereas it is not inherent in the concept of a service. In this paper, we establish the existence of a universal computable functional unit for natural numbers and related results.
Bergstra Jan Aldert
Middelburg C. A.
No associations
LandOfFree
Functional units for natural numbers does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Functional units for natural numbers, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Functional units for natural numbers will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-51106