Algorithmic Logic

The aim of algorithmic logic (AL) is the study of the semantic properties of computer programs. AL plays, for computer science, a role similar to that played by mathematical logic in mathematics. AL studies those properties of programs which are valid by virtue of their syntactical structure, independently of any interpretation of functional symbols in programs. This leads to the discovery of algorithmic tautologies and inference rules enabling algorithmic reasoning. AL is a base for various algorithmic theories of data structures. The significance of AL lies in its applications in: specifications of systems; verification (analysis) of programs; and axiomatic definitions of semantics of programming languages. The results and methods of AL have numerous applications in software engineering (e.g. in semantic problems of LOGLAN programming language and in systems created in LOGLAN). The book offers an original, uniform view on the subjects studied also in: logics of partial correctness of programs, dynamic logic, abstract data types, semantics of concurrency and denotational semantics.