From 168aba7babd42c1c124cfcf3b02374803c2ca00c Mon Sep 17 00:00:00 2001
From: Tim Daly
Date: Mon, 3 Oct 2016 00:21:13 0400
Subject: [PATCH] books/bookvolbib add DeMilo paper on proofs of programs
Goal: Proving Axiom Correct
\index{DeMilo, Richard A.}
\index{Lipton, Richard J.}
\index{Perlis, Alan J.}
\begin{chunk}{axiom.bib}
@article{Demi79,
author = "DeMilo, Richard A. and Lipton, Richard J. and Perlis, Alan J.",
title = "Social Processes and Proofs of Theorems and Programs",
journal = "Communications of the ACM",
volume = "22",
number = "5",
year = "1979",
pages = "271280",
abstract =
"It is argued that formal verifications of programs, no matter how
obtained, will not play the same key role in the development of
computer science and software engineering as proofs do in mathematics.
Furthermore the absence of continuity, the inevitability of change, and
the complexity of specification of significantly many real programs
make the formal verification process difficult to justify and manage.
It is felt that ease of formal verification should not dominate program
language design.",
paper = "Dimi79.pdf"
}
\end{chunk}

books/bookvolbib.pamphlet  26 ++++++++++++++++++++++++++
changelog  2 ++
patch  33 +++++++++++++++++++++++
src/axiomwebsite/patches.html  3 +++
4 files changed, 54 insertions(+), 10 deletions()
diff git a/books/bookvolbib.pamphlet b/books/bookvolbib.pamphlet
index 50b9f9f..61c277a 100644
 a/books/bookvolbib.pamphlet
+++ b/books/bookvolbib.pamphlet
@@ 5523,6 +5523,32 @@ Martin, U.
\end{chunk}
+\index{DeMilo, Richard A.}
+\index{Lipton, Richard J.}
+\index{Perlis, Alan J.}
+\begin{chunk}{axiom.bib}
+@article{Demi79,
+ author = "DeMilo, Richard A. and Lipton, Richard J. and Perlis, Alan J.",
+ title = "Social Processes and Proofs of Theorems and Programs",
+ journal = "Communications of the ACM",
+ volume = "22",
+ number = "5",
+ year = "1979",
+ pages = "271280",
+ abstract =
+ "It is argued that formal verifications of programs, no matter how
+ obtained, will not play the same key role in the development of
+ computer science and software engineering as proofs do in mathematics.
+ Furthermore the absence of continuity, the inevitability of change, and
+ the complexity of specification of significantly many real programs
+ make the formal verification process difficult to justify and manage.
+ It is felt that ease of formal verification should not dominate program
+ language design.",
+ paper = "Dimi79.pdf"
+}
+
+\end{chunk}
+
\index{Fateman, Richard J.}
\begin{chunk}{axiom.bib}
@misc{Fate02a,
diff git a/changelog b/changelog
index 3b638c6..706e6cf 100644
 a/changelog
+++ b/changelog
@@ 1,3 +1,5 @@
+20161003 tpd src/axiomwebsite/patches.html 20161003.01.tpd.patch
+20161003 tpd books/bookvolbib add DeMilo paper on proofs of programs
20161002 tpd src/axiomwebsite/patches.html 20161002.01.tpd.patch
20161002 tpd books/bookvolbib add Levenshtein distance reference
20161001 tpd src/axiomwebsite/patches.html 20161001.01.tpd.patch
diff git a/patch b/patch
index 0780042..79d7fd8 100644
 a/patch
+++ b/patch
@@ 1,17 +1,30 @@
books/bookvolbib add Levenshtein distance reference
+books/bookvolbib add DeMilo paper on proofs of programs
Goal: Axiom Literate Programming

A distance algorithm between two string.
+Goal: Proving Axiom Correct
+\index{DeMilo, Richard A.}
+\index{Lipton, Richard J.}
+\index{Perlis, Alan J.}
\begin{chunk}{axiom.bib}
@misc{Wiki16,
 author = "Anonymous",
 title = "Levenshtein distance",
 year = "2016",
 url = "https://en.wikipedia.org/wiki/Levenshtein\_distance"
+@article{Demi79,
+ author = "DeMilo, Richard A. and Lipton, Richard J. and Perlis, Alan J.",
+ title = "Social Processes and Proofs of Theorems and Programs",
+ journal = "Communications of the ACM",
+ volume = "22",
+ number = "5",
+ year = "1979",
+ pages = "271280",
+ abstract =
+ "It is argued that formal verifications of programs, no matter how
+ obtained, will not play the same key role in the development of
+ computer science and software engineering as proofs do in mathematics.
+ Furthermore the absence of continuity, the inevitability of change, and
+ the complexity of specification of significantly many real programs
+ make the formal verification process difficult to justify and manage.
+ It is felt that ease of formal verification should not dominate program
+ language design.",
+ paper = "Dimi79.pdf"
}
\end{chunk}

diff git a/src/axiomwebsite/patches.html b/src/axiomwebsite/patches.html
index 0a2df4d..36f3bf7 100644
 a/src/axiomwebsite/patches.html
+++ b/src/axiomwebsite/patches.html
@@ 5568,6 +5568,9 @@ src/share/algebra/*.daase update databases
readme: Clarify the question of "Joint Work"
20161002.01.tpd.patch
books/bookvolbib add Levenshtein distance reference
+20161002.01.tpd.patch
+books/bookvolbib add DeMilo paper on proofs of programs
+20161003.01.tpd.patch

1.7.5.4