Log in

www.springer.com The European Mathematical Society

Tools

View source for Program scheme

← Program scheme

Jump to: navigation, search

You do not have permission to edit this page, for the following reasons:

The action you have requested is limited to users in the group: Users.
You must confirm your email address before editing pages. Please set and validate your email address through your user preferences.

You can view and copy the source of this page.

A formal constructive object obtained from programs (cf. [[Program|Program]]) by abstraction from the lexicographical peculiarities in writing it down in the formal programming language used and from the meaning of the elementary actions and objects used in the program. Program schemes are used in [[Theoretical programming|theoretical programming]].

Return to Program scheme.

How to Cite This Entry:
Program scheme. A.P. Ershov (originator), Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Program_scheme&oldid=14054

This text originally appeared in Encyclopedia of Mathematics - ISBN 1402006098

Retrieved from "https://encyclopediaofmath.org/wiki/Program_scheme"