Humanist Discussion Group, Vol. 33, No. 443. Department of Digital Humanities, King's College London Hosted by King's Digital Lab www.dhhumanist.org Submit to: email@example.com Date: 2019-11-27 20:37:49+00:00 From: Willard McCarty
Subject: Fwd: [SIGCIS-Members] Formal Methods: historical source papers The Springer Journal "Formal Aspects of Computing" will produce an edition (31:6) which has papers relating to "Formal Methods". At the moment, 5 papers, an editorial and an obituary of Zohar Manna are already visible on-line at https://link.springer.com/journal/volumesAndIssues/165 If your institution has a Springer account, you ought be able to download PDFs free of charge. The editorial is by Jones&Oliveira [you have to hunt down the page for some of these] Haigh on "Assembling a prehistory for formal methods: a personal view (https://link.springer.com/article/10.1007/s00165-019-00494-z)" [please read this first - the following articles offer historical source material - they are written by the experts involved - not by card carrying historians] Apt & Olderog on "Hoare Logic" Moore on "Milestones from the Pure Lisp theorem prover to ACL2" Paulson, Nipkow & Wenzel on "From LCF to Isabelle/HOL" Pous & Sangiorgi on "Bi-simulation and co-induction" Dershowitz & Waldinger wrote the obituary of Zohar cliff jones _______________________________________________ Unsubscribe at: http://dhhumanist.org/Restricted List posts to: firstname.lastname@example.org List info and archives at at: http://dhhumanist.org Listmember interface at: http://dhhumanist.org/Restricted/ Subscribe at: http://dhhumanist.org/membership_form.php
Editor: Willard McCarty (King's College London, U.K.; Western Sydney University, Australia)
Software designer: Malgosia Askanas (Mind-Crafts)
This site is maintained under a service level agreement by King's Digital Lab.