scientific article; zbMATH DE number 4049008

MaRDI QIDQ3785904zbMATH OpenFDO

Authors D. I. Sviridenko, S. S. Goncharov

Publication date 1986

zbMATH Keywords

\(\Sigma \)-programmingabstract data typescanonical expansiondeterminabilityfixed pointsfunctional programminglogical programmingprogramming methodologysemantic programminguniversal machine

Mathematics Subject Classification ID

Data structures (68P05) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4037166
• scientific article; zbMATH DE number 4047058
• scientific article; zbMATH DE number 3980456
• Metamathematical fundamental concepts of computer programming
• An algebraic approach to semantics of programming languages

Cited in

(26)

• A view of programming languages as symbiosis of meaning and computations
• On some applications of the semantic evaluation method.
• Metacomputation and logic programming
• On the relationship between foundations of programming and mathematics
• Descriptological foundations of programming
• Foundations of programmology
• Conditional terms in semantic programming
• Recursive terms in semantic programming
• Base-type languages: Program design by upper semantic approximation
• Matrix Code
• New
• scientific article; zbMATH DE number 3890767 (Why is no real title available?)
• Metamathematical fundamental concepts of computer programming
• Linking Semantic Models
• scientific article; zbMATH DE number 3980456 (Why is no real title available?)
• scientific article; zbMATH DE number 3982488 (Why is no real title available?)
• scientific article; zbMATH DE number 4037166 (Why is no real title available?)
• scientific article; zbMATH DE number 4047058 (Why is no real title available?)
• scientific article; zbMATH DE number 4062575 (Why is no real title available?)
• scientific article; zbMATH DE number 23020 (Why is no real title available?)
• scientific article; zbMATH DE number 2080203 (Why is no real title available?)
• scientific article; zbMATH DE number 3892554 (Why is no real title available?)
• Semantic programming and polynomially computable representations
• Logical foundations for programming semantics
• Investigation of program collectives
• Computable compositions and universal program logics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3785904)