Date: Sun, 27 Jul 2003 12:02:36 +0200 From: "Poul-Henning Kamp" <phk@phk.freebsd.dk> To: Alexander Leidinger <Alexander@Leidinger.net> Cc: cvs-all@freebsd.org Subject: Re: cvs commit: src/sys/kern init_main.c kern_malloc.c md5c.c subr_autoconf.c subr_mbuf.c subr_prf.c tty_subr.c vfs_cluster.c vfs_subr.c Message-ID: <62161.1059300156@critter.freebsd.dk> In-Reply-To: Your message of "Sun, 27 Jul 2003 11:54:57 %2B0200." <20030727115457.553f1df7.Alexander@Leidinger.net>
next in thread | previous in thread | raw e-mail | index | archive | help
In message <20030727115457.553f1df7.Alexander@Leidinger.net>, Alexander Leiding er writes: >> We still have no tools which help us translate high level abstractions >> into low level code or for that matter to validate the high level >> abstractions in the first place. > >Are you talking about e.g. model checking? After Aug 2 I plan to look at >porting 2 major open source model checkers. I don't think you could have gotten an accountant to explain what a spread-sheet would do back in the days before VisiCalc, but once the idea was out, everybody could see that it was brilliant. If I knew what the tools were, I would have been busy writing them years ago, but unfortunately, I don't seem to be the one destined to invent the programmers spread-sheet. >> Given all that, I firmly belive we should embrace every little bit >> of help we can get from tools and programs we have, even if that >> means minor inconveniences and a certain cramping of style here and >> there. > >Perhaps you can convince dds (CCed) to extend devel/cscout in various >helpful directions. Based upon his introduction to us at the time he got >his commit bit and his homepage he may be interested in this kind of >work. I was very happy to see dds@ appear in the asylum :-) -- Poul-Henning Kamp | UNIX since Zilog Zeus 3.20 phk@FreeBSD.ORG | TCP/IP since RFC 956 FreeBSD committer | BSD since 4.3-tahoe Never attribute to malice what can adequately be explained by incompetence.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?62161.1059300156>