Kowalski, Robert Algorithm = logic + control. (English) Zbl 0404.68010 Commun. ACM 22, 424-436 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 31 Documents MSC: 68N01 General topics in the theory of software 68N25 Theory of operating systems 68Q65 Abstract data types; algebraic specification 68Q60 Specification and verification (program logics, model checking, etc.) 68P05 Data structures Keywords:Nonprocedural Language; Control Language Logic; Programming Methodology; Program Specification; Relational Data Structures PDF BibTeX XML Cite \textit{R. Kowalski}, Commun. ACM 22, 424--436 (1979; Zbl 0404.68010) Full Text: DOI