×

zbMATH — the first resource for mathematics

\(\Sigma\)-programming. (Russian) Zbl 0628.03015
The authors discuss some problems and some directions in computer programming, and introduce a new general notion of programming - \(\Sigma\)-programming. \(\Sigma\)-formulas of the first-order language and the fact that the recursive functions can be represented by the formulas are used as the basis of \(\Sigma\)-programming.
Reviewer: Li Xiang

MSC:
03B70 Logic in computer science
68N01 General topics in the theory of software
03C70 Logic on admissible sets
03D60 Computability and recursion theory on ordinals, admissible sets, etc.
68Q65 Abstract data types; algebraic specification
PDF BibTeX XML Cite