Newsgroups: comp.object Path: utzoo!utgpu!news-server.csri.toronto.edu!mailrus!wuarchive!zaphod.mps.ohio-state.edu!rpi!image.soe.clarkson.edu!news From: cline@cheetah.ece.clarkson.edu (Marshall Cline) Subject: Re: How to use Inheritance instead Message-ID: Reply-to: cline@sun.soe.clarkson.edu (Marshall Cline) In-reply-to: johnson@m.cs.uiuc.edu's message of 13 Aug 90 15:24:00 GMT Sender: news@sun.soe.clarkson.edu Organization: (I don't speak for the) ECE Dept, Clarkson Univ, Potsdam, NY References: <5456@stpstn.UUCP> <77500053@m.cs.uiuc.edu> Date: 15 Aug 90 21:28:18 GMT Lines: 40 In article <77500053@m.cs.uiuc.edu> johnson@m.cs.uiuc.edu writes: >However, I am >interested in enhancing [Typed ST] so that more can be said about a program. >In particular, I think that Brad's example with stacks (if I push 1,2,3 >on an instance of class Stack, pop should return 3,2,1) is the sort of >thing that should be done statically. Doug Lea and I are working on just such a system (semantic information encoded into a class, static inference on this `behavioral' information, etc). The idea is to do as much static testing as possible (given the constraints of whatever inference engine you buy at the corner store), and generate runtime tests on cases that are ``too hard''. Naturally there will be many of these. The goal, however, is to provide a system where the source code is flexible, and where static analysis will check your work (presumably finding some errors). Our scheme is called A++ (for ``Annotated C++''). We're presenting a paper on it at this year's Symposium On Object-Oriented Programming Emphasizing Practical Applications (SOOPPA -- pronounce it like a Long Islander would say ``super''). Marshall Cline PS: SOOPPA is Sept 14-15, Marist College, Poughkeepsie, NY. I suspect you can get admission etc from: James Ten Eyck, General Chairperson Marist College 82 North Road Poughkeepsie, NY 12601 (914) 471-3240 x 601 Email: jzbv@maristb.bitnet -- ============================================================================== Marshall Cline / Asst.Prof / ECE Dept / Clarkson Univ / Potsdam, NY 13676 cline@sun.soe.clarkson.edu / Bitnet:BH0W@CLUTX / uunet!clutx.clarkson.edu!bh0w Voice: 315-268-3868 / Secretary: 315-268-6511 / FAX: 315-268-7600 Career search in progress; ECE faculty; research oriented; will send vita. PS: If your company is interested in on-site C++/OOD training, drop me a line! ==============================================================================