From: Vitaly Lugovsky <vsl@ontil.ihep.su> To: devel@altlinux.ru Cc: sisyphus@altlinux.ru Subject: [devel] I: new package Date: Sun, 16 Mar 2003 03:44:20 +0300 (MSK) Message-ID: <Pine.LNX.4.53L.0303160336550.12796@ontil.ihep.su> (raw) why-1.05-alt1.src.rpm ушёл в incoming. Это средство для автоматического доказательства аннотированных программ (т.е. спецификация идёт внутри кода, а не отдельными утверждениями), работает поверх Coq (и некоторых других proof-assistant-ов). Понимает некоторое подмножество языка C (без арифметики указателей) и подмножество Caml (без type inferrence, и т.п.) A must have для любого уважающего себя программиста. Давайте писать доказанно безошибочный код, и побольше! В ближайшее время в Сизиф пойдёт и система Krokatoa для доказательства аннотированного Java-кода.
next reply other threads:[~2003-03-16 0:44 UTC|newest] Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top 2003-03-16 0:44 Vitaly Lugovsky [this message] 2003-03-17 10:12 ` aen
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=Pine.LNX.4.53L.0303160336550.12796@ontil.ihep.su \ --to=vsl@ontil.ihep.su \ --cc=devel@altlinux.ru \ --cc=sisyphus@altlinux.ru \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: link
ALT Linux Team development discussions This inbox may be cloned and mirrored by anyone: git clone --mirror http://lore.altlinux.org/devel/0 devel/git/0.git # If you have public-inbox 1.1+ installed, you may # initialize and index your mirror using the following commands: public-inbox-init -V2 devel devel/ http://lore.altlinux.org/devel \ devel@altlinux.org devel@altlinux.ru devel@lists.altlinux.org devel@lists.altlinux.ru devel@linux.iplabs.ru mandrake-russian@linuxteam.iplabs.ru sisyphus@linuxteam.iplabs.ru public-inbox-index devel Example config snippet for mirrors. Newsgroup available over NNTP: nntp://lore.altlinux.org/org.altlinux.lists.devel AGPL code for this site: git clone https://public-inbox.org/public-inbox.git