From formal logic through program transformations to system dynamics: 40 years of meeting points with Martin Wirsing

DOI10.1007/978-3-319-15545-6_3MaRDI QIDQ5256334zbMATH OpenOpenAlexFDO

Authors Wolfgang Hesse

Publication date 22 June 2015

Published in Software, Services, and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-15545-6_3

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of computer science (68-03) History of mathematical logic and foundations (03-03)

Recommendations

• A homage to Martin Wirsing
• The Formal System of Dijkstra and Scholten
• scientific article; zbMATH DE number 194510
• Abstract constraint data types
• Contribution of Warsaw logicians to computational logic

Cited in

(3)

• Personal memories
• Richard Milton Martin: American logician
• A homage to Martin Wirsing

This page was built for publication: From formal logic through program transformations to system dynamics: 40 years of meeting points with Martin Wirsing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5256334)