coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Stefan Muller <smuller2 AT iit.edu>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Diagram showing evolution of program logics?
- Date: Fri, 15 Apr 2022 13:11:38 -0500
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=PermError smtp.pra=smuller2 AT iit.edu; spf=Pass smtp.mailfrom=smuller2 AT iit.edu; spf=None smtp.helo=postmaster AT mail-qk1-f171.google.com
- Ironport-data: A9a23:6/J4Waw1a89/FriENVB6t+cGwCrEfRIJ4+MujC+fZmUNrF6WrkUHn GBJUGCDP6yLYTTwf9F3O9vi8E1Q65eAzdBqTwE9rVhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefQAOOU5NfsYkidfyc9IMsaoU8lyrZRbrJA24DjWVvR4 I6q+aUzBXf8s9JKGjJMg068gEg31BjCkGtwUosWOJinFHeH/5UkJMp3yZOZdxMUcaEIdgKOf Nsv+Znilo/vE7jBPfv++lrzWhVirrc/pmFigFIOM0SpqkAqSiDfTs/XOdJEAXq7hQllkPgvw /59rcWcWT0JEaqVnNohaD1hTSVhaPguFL/veRBTsOSWxkzCNmLvmrBgVR5ve4If/elzDCdF8 vlwxDIlNEjSwbLrhujhEK812Z1LwMrDZOvzvll7yCzdCfs8G7jCQrmM6NNFtNs1rpkXQ6uFP ppJAdZpRD/mZD1MP2hJMcsnobv4imf9VwxIjXvA8MLb5ECKlFAruFT3C/LefcXPTsFIlG6Dt 2fe9iL4BAsbPZqR01K4HmmEg+bOmWbiW9tXGuTnr7hlh1qcwmFVAxoTPbemnRWnohC1cOJHc mAEwAoBqvE2ynCQauCjWwLt9RZooSUgc9ZXFuQ77iSExazV/xuVCwA4othpOIxOWCgeFWxC6 7OZoz/6LWcw7+DNGBpx4p/R/GziY3FERYMXTXZcFVNt3jX1nG0kYvvyojtLFae0ipjsGmi1z WnV9W4xgLIcicNN3KK+lbwmv95OjsiUJuLWzl+PNo5A0u+fTND9D2BPwQWKhcus1K7DEjG8U IEswqByFtwmA5CXjzCqS+4QBryv7PvtGGSC3Q8/Rsh+qWn2oiHLkWVsDNdWdBcB3iEsKW+BX aMvkV45CGJ7YCP6PPYvPepd9exzlfO7TYiNug/ogipmO8AtLmdrDQlhYkmf222FraTfufBXB HtvSu71VSxyIf0/klKeHr5BuZd2mH1W7T6MHfjTkkX/uZLDNSX9YepUYDOmMLplhIva+1692 4gEZ6O3J+B3CrKWjt//qt5Nczjn7BETWfjLliCgXrfafFE3ST17Vqe5LHFIU9UNopm5X9zgp hmVMnK0AnKh7ZEeAQnVOH1ldp31WpNz8SAyMSA2YgSp2mRlbIqytf9Ne5wydLgh1epi0f8pE KdeJJncWqxCGmbd5jAQTZjht4g+Jh6lsh2DYni+az8lcp8+GwGQoo34fhHi/TUlBzassZdsu KWp0w7WGMJRRwlrAMvMRuioyle94SoUlO5oABnJI8UVdUnxqdA4Jyv0h/4xAscNNRSemWXBi FrKWU8V/LCfrZU0/d/FgbG/g72oS+YuTFBHG2T77KqtMXWI9GSU3oIdAv2DeirQVT2o9fz6N /lV1fz1LNYOgE1O79hnC79uwK8zu4nvqrtdwlg2FXnHdQ73WLZpI33DxMoW86MUmeYftgyxV UaCvNJdPOzRas/iFVcQIisjb/iCha5IwGiMtaxtLRWo/jJz8ZqGTV5WY0uGhhtbIeYnK4gi2 +og5JMb5lDtkBYsKdra3ClY+37Wci4FWqQj84gZWcrl01VyjF5FZpPYB2n955TWM4dANUwjI zm1gqvehuQDmhCTLSJrTXWdj/BAgZkuuQxRyANQLVq+nNeY1OQ82wdc8GhqQwlYpvmdPzmf5 oS/24xJyaSyE/NAgcFCWyW1GFgECkTGowr+zFwGkGCfRE6tPoAIwKvRJs7VlH31MUoFFtSYw F1c4GfkTXDncNyZMu4aRxt+s/K6JTBu3lSqpS1kdvhp27E7YCajj6OzDYbNgwD/D5lZaFLv+ 4FXwQq7VUE32eP8bUH250l2GIn8kCy5GVE=
- Ironport-hdrordr: A9a23:TqIqU66AKcSzEs5ZogPXwP/XdLJyesId70hD6qkDc20yTiX+rb HVoB17726OtN91YhsdcL+7Scu9qB/nhOdICOoqTNKftWvdyQiVxehZhOOIowEIcxeeygc379 YZT0ERMqyWMbE3t7ef3OB6KbodKRu8nZxASd2w856ld29XV50=
- Ironport-phdr: A9a23:A6QLcx0+kXRKuIl4smDOrw4yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaFo6w80RSQB9yTwskHotKei7rnV20E7MTJm1E5W7sIaSU4j94LlRcrGs+PBB6zBvfraysnA JYKDwc9rDm0PkdPBcnxeUDZrGGs4j4OABX/Mhd+KvjoFoLIgMm7yf6+94fObwhMhDexbq5+I AuroQ7MqsQYnIxuJ7orxBDUuHVIYeNWxW1pJVKXgRnx49q78YBg/SpNpf8v7tZMXqrmcas2S 7xYFykmPHsu5ML3rxnDTBCA6WUaX24LjxdHGQnF7BX9Xpfsriv3s/d21SeGMcHqS70/RDKv5 LppRhD1kicKLz03/m/YhcN+kqxVoA+vqABwzYPPfIGYNuBzcr/Bcd4UR2dMWNtaWSxbAoO7a osCF/cPPfpGoInzvVQOqwa1Cw6xBOPrzj9HmGX21rA93uQ6FAHGwQggH9YQv3TOstn4L6YSU eGpzKXS0zrMcu5W1C775YPVfR8vveuCUqhsccrN10YvDQXFg02OpYH7MD6YyOsDvmqZ4uRgW ++iiG8qphxvrzSy28shhIrEi4MbxF3L+ih0zps5K9K7RUNmYtOoDJtduS6HO4Z0RM4pXmJmu D4ix7EYpZK2eDIGxZcnyhLFdfCLbZaE7gj+WOuTPDt0nGxpdK++ihqo/kWtyPfwWtS73VpUt CZJjMXAu34L2hfO8MaIUOF98V2k2TuX1wDc9OVEIUcsmKreMZEhw7owmoMKsUTAAyP6gUv2g LKUe0k54OSo5OPnYrLppp+YKYB4kB3xMqMrmsCnAOQ4NBYBX3SD9OiiyLHu+Vf1TbZKg/Esj KXVro7WKd4GqqO7HgNZyoMj5Ay+Dzei3tQYh34HLFdddRKciojpJlXOIPTmAvelnVihizZrx /HaPrH7HJrCM2XDnK/nfblm80Fc0hY8zchD55JIDbEMOO//VlfrtNPEFh85LxC0w+H/Bdph0 YMeQHuDDbOdMKPPqlCF/fkvIumJZI8NojnxMfkl5/j0jX84g1ARZ6ep3YFEIEy/S/9hOgCSZ WfmqtYHC2YD+AQkH8Lwj1jXaiJeaX+0F4ch4jU2EsryFoLeQoSgmuap3SanWJBaezYVWRi3D X70etDcCL83YyWIL5o5+tRlfb2oSot6kAqrqBe/0L1/aOzd5iwfs5vnktlz/eza0x8opnRvF 8rI62yXSkxuhGQSDyQzwLg5uVZ0n0yGzKx8juYCPd1S+7VEXhppfYXEwblCAsvpEhnEYs/PT V+nRtu8BjRkVdcsx9sDeRxVGtS+yB3PwnniGKcbwpqMApF86afAxz7xKsJ6nm7Bz7UkhkI6T 9FnMGSngutm9FGWCdeWygOWkKGlcala1ynInIua5VKDpkR1ShR3S+2FWHkeYhCTttHl/gbZS KfoD707MwxHwMrEK61Qa9Svg08UDPzqPtLZfwfT0y+7AgySy7iQaJuiemMB0T/FEkUY2xse+ 3qLL0A3GzuhrmTCDTdvCUOnYkXi9vN7oW+6SUl8wRuNaigDn/K5/RschPrUTP1bxbcZvCMss W9cHVehmd/aFpvIpgZserldfcJo+E1Ohge7/0R2Op2tKbwnh0ZLKVwm+ROzkU8tUMMZzpF5y RFihBB/Iq+Zzl5bIjaR3JSrf6bSNnG35xe3LajfxlDZ1t+SvKYJ8vUx7Vv572TLXgIv9Wtq1 95N3j6S/JLPWUAJVI/1VkstrTB7pq2cbyUgrdCxtzUkIeyvvznO1sh8TvAg1xKkcs0FGKKFC En/H9BQVIC+bectnVaudBcNOutfobU1M82RfPyDwKe3PexkkWHD7ywP8MVn30mL7SY5Vv/Q0 sNP2OmWhEHUHye5llqqtdr73JxJdS1HVCDXJTHMPIdKfeUyeI8KDTzrOMir3pBlgIarXXdE9 VmlDldA2cmzeBPUYUavlQFX0E0WpzSgl07ah3RvliwtqqeFhgTPwvikeRYacmJGX2hti17wL JP81YhLGhj1KVJzzl38uh+yzrMTvKllKmjPXUpEGkq+Z3pvVKe9rPvKYsJC7o8prTQCVe29Z V6ATbuu6xAe0i7lAy5f3GVhL2Ds6si/xUYgzjvCdSUWzjKRY8x7yBbB6caJQPdQ2mFDXyxkk XzMAUD6OdC1/NKSnpOFs+akVmvnWIcAFEujhY6Gqia/4nVnRBOlmPXm0MbiDAw+3DWh/9hrS WPFoAu2MeyJn+yqdPlqeEVlHgq28M9nHoVziNEYhZAMn3UWm9/GtWpCmmD1P9JB3Kv4Z3dYX j8Hzene5w390VFiJHaElOebHj2Nh9FsbN6gbiYKyzowuopUXbyM4uUOzmNl50C1pgXLbb1hk ycBnLEwvWUCjbhs2kJlzz3BUOtPWxAJZWq2y0vOt5fk8O1WfDr9L+T2jhEl24n/VPfa5VgNE HfhJsV8Q2kptp85aBSUlyerj+OsMNjIMYBN6FvOz0aG37ATcNVrzrILnXY1Zji75CFjkr9hy 0QphMHyvZDbeToxuvvjX1gAcGWyPp12mHmljL4CzJ/Oj8b2QconSnNTG8GxBfOwTGBL6q+hb lfSVmV68jDCR/LeBVPNsh836SKSVcnxZzfPYyBGqLcqDBiFeB4F2V5SAWV8x89jUFjtnZ2pc V8ltGpIuBii8UoKkbgub16mAy/JrQOsIF/YUbC5KxxbpkFH7kbRaomF6/5rWjpf5tunpRCML WqSY0JJC3sIUwqKHQKrOL7m/tTG/+WCY4j2Z/LTfbWDr/BfXPaU1Nqu1IVh5TOFKsSIODFrE fQ63kNJWX0xFd7enn0DTCkeliSFaMD+xl/04ipsssW26+jmQirq7IqLTqJRaJBhok/vx6iEM OGUiWByLjMZnpIAyHnUyaQOiV4fjyY9ElvlWb8EtCPLUOfRgvoNV09dO341bpESqftjh1ooW 4aTkN7+279mg+RgDl5EUQekgcS1fYkRJHn7MlrbBUGNPbDAJDvRwsixb7nvLN8YxOhSqRC0v i6WVkH5OTHW3SLsShSrPPsWpCCaIFpTtJz3IXMPQSDzCcnrbBG2Koo9lTot3bg9nW/HL0YZO Dl4NlpO9/ietHwBxPp4HGNF4zxuKuzOyEP7p6HIb50Rt/VsGCF9kelXtW87x7Vi5yZBXPVpm SHWo7aGQnmjm+iLjyNkCV9A82kSwo2MukpmNOPS8ZwSAR4sGToM7HnWBhgX9YUN4jLHuqFMj NXDifCqQAo=
- Ironport-sdr: 1BNzTZF7+HGXu7UKTTV+gQEe4+XJ7fHtPGmuPp7qtg9xq+Q9mraKbzGua9h1CJIQSwPPrOYZJy t0jGgx0KwJnm4dEJe5lbIaTJ//WT1ISPxP5Ps/hg6zL3wTIxzy2EHcRC9XePKva9JdjmJCcOFA PZrHkBxU5TqAlTomkvGBAsty0dwaeeJOZk99JlFyynBovysQrMBNhbnM5yIMnil456c8Xm85Pc ern1nNjd08nhVTSpitIWgPWaqbsmWkCgtSYu/rdCUNvDFm1086IEBpjphyvP9ucugV5ajSkf1b C8ShDUEAvEJY9Bt/uXR3TQmB
Hi all,
I vaguely remember seeing once, in a paper and/or conference talk (helpful I know), a web-like diagram showing the history of various program logics (transitively) influenced by Hoare Logic. I'd like to show something like this as a "there's more out there"-style wrap up in the course I'm teaching, but can't seem to find it. Does anyone know if such a thing exists or if I'm making it up?
Thanks!
Stefan
--
Stefan Muller
Gladwin Development Chair Assistant Professor
Computer Science Department
Illinois Institute of Technology
- [Coq-Club] Diagram showing evolution of program logics?, Stefan Muller, 04/15/2022
- Re: [Coq-Club] Diagram showing evolution of program logics?, Lennart Beringer, 04/15/2022
- Re: [Coq-Club] Diagram showing evolution of program logics?, Ben Knoble, 04/16/2022
Archive powered by MHonArc 2.6.19+.