Home About Subscribe Search Member Area

Humanist Discussion Group

< Back to Volume 33

Humanist Archives: Nov. 28, 2019, 7:54 a.m. Humanist 33.443 - pubs: formal methods

                  Humanist Discussion Group, Vol. 33, No. 443.
            Department of Digital Humanities, King's College London
                   Hosted by King's Digital Lab
                Submit to: humanist@dhhumanist.org

        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
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: humanist@dhhumanist.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.