From mathematical logic to programming-language semantics: a discussion with Tony Hoare

DOI10.1093/LOGCOM/EXS071zbMath1347.68003OpenAlexW2158511535MaRDI QIDQ3465048

Edgar G. Daylight

Publication date: 28 January 2016

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exs071

zbMATH Keywords

semanticsprogrammingmathematical logic

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) Theory of programming languages (68N15) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) History of computer science (68-03)

This page was built for publication: From mathematical logic to programming-language semantics: a discussion with Tony Hoare