zbMATH — the first resource for mathematics

Semantic foundations of programming. (English) Zbl 0642.68029
Fundamentals of computation theory, Proc. Int. Conf., Kazan/USSR 1987, Lect. Notes Comput. Sci. 278, 116-122 (1987).
Summary: [For the entire collection see Zbl 0633.00025.]
We give methodological and theoretical aspects of a new concept of programming which is based on semantic constructions. Due to this the concept is called semantic programming.

68Q65 Abstract data types; algebraic specification
68N01 General topics in the theory of software
68Q55 Semantics in the theory of computing
68Q60 Specification and verification (program logics, model checking, etc.)