A relational theory of computing
From MaRDI portal
Publication:1145496
zbMath0445.68021MaRDI QIDQ1145496
Publication date: 1980
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)
Related Items (7)
Regularity of relations: A measure of uniformity ⋮ Specification methodology: An integrated relational approach ⋮ Relations, dependencies, and some problems of systems theory ⋮ A practical method for implementing string pattern matching machines ⋮ Normal forms for binary relations ⋮ An improvement of the Aho-Corasick machine ⋮ Strongest invariant functions: Their use in the systematic analysis of while statements
This page was built for publication: A relational theory of computing
