From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: f891f,9d58048b8113c00f X-Google-Attributes: gidf891f,public X-Google-Thread: 101deb,b20bb06b63f6e65 X-Google-Attributes: gid101deb,public X-Google-Thread: 1014db,9d58048b8113c00f X-Google-Attributes: gid1014db,public X-Google-Thread: 10cc59,9d58048b8113c00f X-Google-Attributes: gid10cc59,public X-Google-Thread: 103376,2e71cf22768a124d X-Google-Attributes: gid103376,public From: ok@goanna.cs.rmit.EDU.AU (Richard A. O'Keefe) Subject: Re: next "big" language?? (disagree) Date: 1996/06/14 Message-ID: <4prafa$o6p@goanna.cs.rmit.EDU.AU>#1/1 X-Deja-AN: 160116987 references: <4p1l65$35qi@info4.rus.uni-stuttgart.de> <4p60nk$imd@euas20.eua.ericsson.se> <4p8lmq$oq7@goanna.cs.rmit.edu.au> <4pj8p7$h9r@goanna.cs.rmit.EDU.AU> <4plaa6$c7a@goanna.cs.rmit.EDU.AU> organization: Comp Sci, RMIT, Melbourne, Australia newsgroups: comp.lang.pascal,comp.lang.c,comp.lang.misc,comp.lang.pl1,comp.lang.ada nntp-posting-user: ok Date: 1996-06-14T00:00:00+00:00 List-Id: ag129@ucs.cam.ac.uk (A. Grant) writes: >Surely the concept of formal proof of programs is familiar to >anyone at RMIT? What exactly is your position there? http://www.cs.rmit.edu.au/Staffing/AcademicStaff/ provides a list of all the RMIT CS staff. http://www.cs.rmit.edu.au/~rav/ takes to you rav's home page, which will tell you that he is a Senior Lecturer. (Me, I'm only a Lecturer.) He has recently published two books. He is our local PL/I expert. RMIT teaches formal methods in some of its courses. We use Ada as our first-year language, and continue to use it (though not exclusively) in later years. -- Fifty years of programming language research, and we end up with C++ ??? Richard A. O'Keefe; http://www.cs.rmit.edu.au/~ok; RMIT Comp.Sci.